(stdin)= 80a80ee3d1a36193ae3f73b3bd1c6751