HASH(0x7f5cae5fe2d8)