HASH(0x7fee1a5fadd0)