HASH(0x7fedf65b1610)