What may my 401(k) be worth?