// JavaScript Document
<!--
var ns = (document.all)?false:true;
var intBack = 1;

//function for dynamically switching the background image
function changeBg(divId,intBack) {
if (ns){
layerObject = document.getElementById(divId).style;
} else {
layerObject = eval(divId + ".style");
}
layerObject.backgroundImage = 'url(images/menu_top/menubkg'+intBack+'.png)';
}
// -->