HASH(0x7fedac146e50)