这些要报税的，要看10k是不是net of tax，公司有没有gross-up tax。这部分在W-2应该是有所体现的，你可以问问公司的HR或者Payroll Service。每个公司的practice不一样。