HASH(0x7f5cf64de4f8)