Execute a batch job from a push button

function BUTTON_OnClick(id)
{
    if (id === "push1")
    {
        //make sure you use // between BC9999999 and user name (NT)
        const s = "/cgi-lawson/jobrun.exe?FUNC=" +
            "run&USER=<<server<>\\<<user>>&JOB=GL293MA&OUT=javascript";
        portalWnd.httpRequest(s);
    }
}