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