HASH(0x7fede2659508)