HASH(0x7f5cef4a24f8)