var name = readLine(stdin) 

echo name