HASH(0x7fedf261c3e8)