HASH(0x7fedac4bb578)