HASH(0x7f5cfa83a2d8)