(stdin)= d9d71383c64a2ccd5d766b8b73f1d05d