HASH(0x7f5ceded44d8)