print "What's your name?"
    var name = stdin.read_line()
    print "Hello there, " + name + "!"