HASH(0x7f132555dd28)