(stdin)= 56b8f94d4f9c72eea9000433b9247bc4