HASH(0x7fedea5c3648)