(stdin)= c89f623def18e7eb93de78956697d5c719101c9a