(stdin)= 9dd996c40d3f9dd6d81412819b1fb2929de4c073