(stdin)= 25d835712cf5eaf6a232c1f4d720b5d2