write("\"",File standardInput readLine,"\"")