HASH(0x7fede2694690)