HASH(0x7f5c927ef500)