HASH(0x7f5c9dfb88c0)