HASH(0x7f5ca0bb7b00)