var nv=parseInt(navigator.userAgent.substring(8,9));
document.write ('<STYLE TYPE="text\/css"><!--');
if ((nv>3 && navigator.userAgent.indexOf('MSIE')>0) || (navigator.userAgent.indexOf('Opera')>0)) {
 document.write (' UL { margin-left: 12pt }');
}
else { document.write (' UL { margin-left: -12pt }'); }
document.write ('--><\/STYLE>');
loaded=0;
currentLayer=0;
function changeMenu(changeLayer,hideShow){
    if(loaded){
	if(document.getElementById){
		layerName = document.getElementById("subMenu"+changeLayer);
                menuName = document.getElementById("menubar"+changeLayer);

		if (hideShow == "visible") {
		    layerWidth = layerName.offsetWidth;
                    topLeft = menuName.offsetLeft;

		    if (navigator.userAgent.indexOf('Opera')>-1)
			 layerName.style.left = topLeft;
		    else layerName.style.left = topLeft+'px';
		}
		layerName.style.visibility = hideShow;
	}
	else{if(document.all){
		layerName = eval("subMenu"+changeLayer);
                menuName = eval("menubar"+changeLayer);

                if (hideShow == "visible") {
		    layerWidth = layerName.scrollWidth;
                    layerName.style.left = menuName.offsetLeft+8;
		}
		layerName.style.visibility = hideShow;
	    }else{if(document.layers){
		layerName="subMenu"+changeLayer;
		if(!document.layers[layerName]) self.location.replace(self.location.href);
		if (hideShow == "visible") {
		    layerWidth = document.layers[layerName].clip.width;
  
                    topLeft = document.menubar.document["menubar"+changeLayer].pageX
		    document.layers[layerName].left = topLeft;
		}
		document.layers[layerName].visibility=hideShow;}}}}}
function s(whichLayer){
    if(currentLayer!=whichLayer){
	clearMenu();
	currentLayer=whichLayer;
	changeMenu(whichLayer,"visible");
        t=9;pollMenu();}}
function clearMenu(){
    t=90;
    if(currentLayer>0) changeMenu(currentLayer,"hidden");
    currentLayer=0;}
function pollMenu(){
    t++;
    if(t>6 && t<9) clearMenu();
    if(t<99) setTimeout("pollMenu()",200);
}
function preLoad(){
    if (document.images) {
	g0 = new Image(2,2); g0.src="gr/0.gif";
	loaded = 1;
    }
}