Is 401k an Asset?