# your code goes here
echo("nimrod? really?")
# This is a comment
echo("What's your name? ")
var name: string = readLine(stdin)
echo("Hi, ", name, "!")
IyB5b3VyIGNvZGUgZ29lcyBoZXJlCmVjaG8oIm5pbXJvZD8gcmVhbGx5PyIpCiMgVGhpcyBpcyBhIGNvbW1lbnQKZWNobygiV2hhdCdzIHlvdXIgbmFtZT8gIikKdmFyIG5hbWU6IHN0cmluZyA9IHJlYWRMaW5lKHN0ZGluKQplY2hvKCJIaSwgIiwgbmFtZSwgIiEiKQo=