HASH(0x7fedac0d3950)