HASH(0x7fede26e4fd8)