(stdin)= b57c65d8d5d92da7ceb2160b45243e56a009bb06