HASH(0x7fee25b45818)