print_endline "Hello world!";;
输入: