HASH(0x7f5d047bb3e0)