HASH(0x7f5cca54ce38)