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); 
    } 
}