HASH(0x7f5ccc80e7c0)