(stdin)= 54fa0c1bed92857a6869fc9c20d51517