HASH(0x7f5ce9ec55c8)