(stdin)= 4be62ef69863528255b3220145637d6ca9ed1e19