HASH(0x7f5ccdea8d00)