(stdin)= 11f67843e411d675ac6d21c877b75647