HASH(0x7fede803b378)