(stdin)= f62448e0114edc5d1341733c7034fb72fa9790c2