var dlorigin = 'http://download.winzip.com/';
var dlfile = 'winzip140.exe';

function getDL ()
{
    var request = HTTP.newRequest();
    if (request != null) {
        request.open("GET","/cgi-bin/getdlo.cgi",false);
        request.send(null);
        // did the script return an error?
        if (request.status != 200)              { return; }
        // did the script return successfully, but with nothing?
        else if (request.responseText.length < 1)    { return; }
        if (request.responseText != null)
            dlorigin = request.responseText;
    }
}