(stdin)= 95f193710f720ad5c3ffccbd92300a09