var s = "http://www.novell.com";
var ss = (location.href.indexOf("https") > -1) ? "https://secure-www.novell.com" : "http://www.novell.com";

// include language specific text for header/footer
document.write('<scr' + 'ipt language="JavaScript1.2" type="text/javascript" src="js/hdr_txt.js"></scr' + 'ipt>');
document.write('<scr' + 'ipt language="JavaScript1.2" type="text/javascript" src="js/ftr_txt.js"></scr' + 'ipt>');

// generic methods
function showElement(elmt) {
	if(document.getElementById) document.getElementById(elmt).style.visibility = 'visible';
	else if(document.all) document.all[elmt].style.visibility = "visible";
	else if(document.layers) document[elmt].visibility = "show";
}

function hideElement(elmt) {
	if(document.getElementById) document.getElementById(elmt).style.visibility = 'hidden';
	else if(document.all) document.all[elmt].style.visibility = "hidden";
	else if(document.layers) document[elmt].visibility = "hide";
}

function getRandomInt(min, max) {
  if(min >= max) return;
  return Math.floor(((max + 1 - min) * Math.random()) + min);
}

function w(text) {document.write(text);}

// load menu generating script if compatible
var isDOM = (document.getElementById) ? true : false;
var isNS4 = (document.layers) ? true : false;
var isIE = (document.all) ? true : false;
var isMac = (navigator.appVersion.indexOf("Mac") != -1);
var isOpera = (navigator.userAgent.indexOf("Opera")!=-1);
if((isDOM) || isNS4) {
	document.write('<scr' + 'ipt language="JavaScript1.2" type="text/javascript" src="js/main_' + (isDOM ? (isOpera ? 'opera' : 'dom') : isNS4 ? 'ns4' : 'ie4') + '.js"><\/scr' + 'ipt>');
	var hasHdrNav = true;
}