(stdin)= 48c8d1de136971db92f965a86768242befe2e57c