(stdin)= 47e4b062b332b417ac0fc03b973bc499