function right(e) {
  var msg = "This action is disabled.";
  
  if (navigator.appName == 'Netscape' && e.which == 3) {
  alert(msg);
  return false;
  }
  
  if (navigator.appName == 'Microsoft Internet Explorer' && event.button==2) {
  alert(msg);
  return false;
  }
  else { return true;
  }
}

function trap() {
  if (navigator.appName == 'Netscape' && parseInt(navigator.appVersion) < 7 && navigator.userAgent.indexOf('Firefox') == -1 && navigator.userAgent.indexOf('Netscape/7') == -1 && navigator.userAgent.indexOf('Netscape/8') == -1) {
    if (document.getElementById('stwlogo')) {
      document.getElementById('stwlogo').onmousedown = right;
      document.getElementById('stwlogo').onmouseup = right;
    }
  }
}

function loadJScript(url)
{
	var script = document.createElement("script");
	script.src = url;
	script.type = 'text/javascript';
	
	var loaded = false;
	var scripts = document.getElementsByTagName("script");
	for(var i=0; i<scripts.length; i++)
	{
		if(scripts[i].src == script.src)
		{
			loaded = true;
			break;
		}
	}
	
	if(!loaded)
	{
		// originally tried to append script to head but caused issue in IE, just print tag
		document.write('<script src="' + url + '" type="text/javascript"></script>');
	}
}