(stdin)= 7e21713b7e0484e8f11394cbe90d08e7