HASH(0x7f5cd4512bd8)