(stdin)= bc475915ac50f5264a062dd0fb749a3afed639c8