HASH(0x7fedc409e2f8)