Dumb question...can we allocate the 16% company contribution to the Roth 401K or does it have to go to the traditional 401k?