HASH(0x7f5cde57ac68)