(stdin)= f00e7c9107465d935371b67b2989eac49194b009