var port=8080;
var platform=1;
var nifs=2;
function GetLoc() {
var loc = location.host;
if (loc == "")
loc = "127.0.0.1:"+port;
return loc;
}
function GetUrl(myFile) {
var nat32url = "http://"+GetLoc()+"/"+myFile;
location.href=nat32url;
}
function ReturnUrl(myFile) {
var nat32url = "http://"+GetLoc()+"/"+myFile;
return nat32url;
}