HASH(0x7fedfe608030)