HASH(0x7fede25a86a8)