(stdin)= 8123d8a1b97ef72351cbf5751fc9ebaa0877cca2