(stdin)= 9bbfd862ad04861ac695298bf5e36687