HASH(0x7f5cef6ddd68)