HASH(0x7fedda6615d0)