(stdin)= c94de5143dd030456df3f0fd2ec122d7