user = $user; } }