HASH(0x7f1379ed4f58)