HASH(0x7f5ce25e54a8)