Likely 4% of his paycheck or 0.0385 of total pay after matching.