(stdin)= 9ebfd982573ffc547b5eb9e3ec1049d1b60970d1