Why does TurboTax shows basic pay close to $10,000 rather then the $15,000 stated by government?