Mr. Henderson’s annual premium of $4,668 is covered entirely by his employer along with 25% of the $9,264 premium for his wife and kids. How much of the Henderson family’s annual premium is being paid for by Mr. Henderson’s employer?