HASH(0x7f5cecdea8d8)