(stdin)= 870bf00d280e267d3f1bf46d8d9156910de439d2