HASH(0x7f5cf80de7e0)