(stdin)= 73871eac2397d96e9a8236b78149318a59e6df57