(stdin)= a4fdba3795c6f9973d806dd67eb803a2db03173b