(stdin)= cc371022ae31042580427d9ff4c0afb6