(stdin)= 8c6a7e6407d77e1bdaf721e3d825083eb2094e20