(stdin)= cfe5d257bd6513fdd6d69d664fcaf6e7