(stdin)= 9913f67f042782d011e3b10f6f80c5ce4a1e24f6