xdr_int(pdf.php) - phpMan