(stdin)= 740d8d427bb64f75fd01d361edf9140236e7f1e0