:: https://www.robvanderwoude.com/batchphp.php
:: Usage:  "dec2hex 13" returns "0xD"
@PHP -r print('0x'.strtoupper(dechex(%~1)));