ca= new char[9000]
new FileReader('/dev/fd/0').read(ca)
f=ca.toList().join('').trim()
new FileReader(f).read(ca)
print ca.toList().join('').trim()