(stdin)= bb00eb7d619d6f5e2f8f0d4d37fb376f