HASH(0x7fede2689748)