print(readFile('/dev/stdin'))