HASH(0x7fede665ce60)