(stdin)= 38f1c5ae9e1d41bad79a70e34cd20018