(stdin)= dd04a11153809b3315730644177d1967