HASH(0x7fee17802768)