(stdin)= c7b444784bd33965ef09c2107a2813f7