HASH(0x7fede2680038)