HASH(0x7fede65ec1f8)