(view source code of dec2hex_php.bat as plain text)
:: https://www.robvanderwoude.com/batchphp.php
:: Usage: "dec2hex 13" returns "0xD"
@PHP -r print('0x'.strtoupper(dechex(%~1)));
page last modified: 2023-03-10