print "'$user'\n";