HASH(0x7f5ccc34b4d8)