(stdin)= 12b4af378a7a265e9b0f73bbbc40147042a74904