(stdin)= 9ddc8d71217cb4842bafd066b560132d