<!--

function newImage(arg) {
	if (document.images) {
		rslt = new Image();
		rslt.src = arg;
		return rslt;
	}
}

function changeImages() {
	if (document.images && (preloadFlag == true)) {
		for (var i=0; i<changeImages.arguments.length; i+=2) {
			document[changeImages.arguments[i]].src = changeImages.arguments[i+1];
		}
	}
}

var preloadFlag = false;
function preloadImages() {
	if (document.images) {
		overview_industrial_over = newImage("images/overview/overview-industrial_over.jpg");
		overview_security_over = newImage("images/overview/overview-security_over.jpg");
		industrial_over = newImage("images/overview/industrial-over.jpg");
		industrial_security_over = newImage("images/overview/industrial-security_over.jpg");
		security_over = newImage("images/overview/security-over.jpg");
		security_marketing_over = newImage("images/overview/security-marketing_over.jpg");
		marketing_industrial_over = newImage("images/overview/marketing-industrial_over.jpg");
		marketing_security_over = newImage("images/overview/marketing-security_over.jpg");
		marketing_over = newImage("images/overview/marketing-over.jpg");
		mainimage2_industrial_over = newImage("images/overview/mainimage2-industrial_over.jpg");
		mainimage2_security_over = newImage("images/overview/mainimage2-security_over.jpg");
		mainimage2_marketing_over = newImage("images/overview/mainimage2-marketing_over.jpg");
		mainimage1_industrial_over = newImage("images/overview/mainimage1-industrial_over.jpg");
		mainimage1_security_over = newImage("images/overview/mainimage1-security_over.jpg");
		mainimage1_marketing_over = newImage("images/overview/mainimage1-marketing_over.jpg");
		preloadFlag = true;
	}
}

// -->


function borderize(what,color){
what.style.borderColor=color
}

function borderize_on(e){
if (document.all)
source3=event.srcElement
else if (document.getElementById)
source3=e.target
if (source3.className=="menulines"){
borderize(source3,"black")
}
else{
while(source3.tagName!="TABLE"){
source3=document.getElementById? source3.parentNode : source3.parentElement
if (source3.className=="menulines")
borderize(source3,"black")
}
}
}

function borderize_off(e){
if (document.all)
source4=event.srcElement
else if (document.getElementById)
source4=e.target
if (source4.className=="menulines")
borderize(source4,"white")
else{
while(source4.tagName!="TABLE"){
source4=document.getElementById? source4.parentNode : source4.parentElement
if (source4.className=="menulines")
borderize(source4,"white")
}
}
}
function MM_openBrWindow(theURL,winName,features) { 
  window.open(theURL,winName,features);
}

<!--
if(navigator.appName=="Microsoft Internet Explorer"){document.write("<LINK REL=\"STYLESHEET\" TYPE=\"text\/css\" HREF=\"include\/mistral_ie.css\">");}
else{document.write("<LINK REL=\"STYLESHEET\" TYPE=\"text\/css\" HREF=\"include\/mistral_ns.css\">");}
//-->