HASH(0x7f5c951ab8d8)