(stdin)= 12d01550ba017e4ffd60ed7c18fff3546c409660