HASH(0x7f5d048a95d0)