HASH(0x7f1355537e20)