<!--

//****************************************************************//
//   Removed to allow values to be added to web config and thus   //
// provide easy switching of menu config for different languages  //
//****************************************************************//

//var strWhite = "#FFFFFF";
//var strBlack = "#000000";
//var strBack = "EFE3BB";

if (is.ns5) {document.write('<script language=\"JavaScript\" src=\"/export/scripts/navigationNS.js\"></script>');}
if (is.ns4) {document.write('<script language=\"JavaScript\" src=\"/export/scripts/navigationNS.js\"></script>');}
if (is.pc && is.ie) {document.write('<script language=\"JavaScript\" src=\"/export/scripts/navigationIE.js\"></script>');}
if (is.mac && is.ie) {document.write('<script language=\"JavaScript\" src=\"/export/scripts/navigationIE.js\"></script>');}


//-->	
