HASH(0x7f5ce8ff0ec8)