(stdin)= 7ffa25c4a076c4d8a22205bd73e1fac3