HASH(0x7f5cccc66d00)