//_________________Menu System
selected = new Image(); selected.src = "/images/top_on.gif";
unselected = new Image(); unselected.src = "/images/top_off.gif";

selected2 = new Image(); selected2.src = "/images/left_on.gif";
unselected2 = new Image(); unselected2.src = "/images/left_off.gif";

function load(position)
{
		for (var i=0;i < pic_sel.length;i++)	
		{       
				if (pic_sel[i] == pic_sel[position]) document.images[pic_sel[i]].src = selected.src
				else document.images[pic_sel[i]].src = unselected.src;
		}
		return true;
}

function resetbutton()
{
		for (var i=0;i < pic_sel.length;i++) document.images[pic_sel[i]].src = unselected.src;
		//		return true;
}

function load_left(position)
{
	for (var i=0;i < pic_sel.length;i++)	
	{       if (pic_sel[i] == pic_sel[position])
			document.images[pic_sel[i]].src = selected2.src;
		else document.images[pic_sel[i]].src = unselected2.src;
	}
	return true;
}

//   ______________ button animation

if (document.images)
{
  browserOK = true;
  pics = new Array();

}else{


  var browserOK = false;
  var pics;
}

var objCount = 0;
	function preload(name,first,second,third)
		{
		pics[objCount] = new Array(4);
		pics[objCount][0] = new Image();	
		pics[objCount][0].src = first;
		pics[objCount][1] = new Image();	
		pics[objCount][1].src = second;
		pics[objCount][2] = new Image();	
		pics[objCount][2].src = third;
		pics[objCount][3] = name;	
		objCount++;
		}
	
	function on(name)
		{
		for (var i=0;i<objCount;i++)
			{
			 if (name != pics[i][3]) document.images[pics[i][3]].src = pics[i][0].src
			 else document.images[pics[i][3]].src = pics[i][1].src;
			}
		}

	function off()
		{
		for (i=0;i<objCount;i++) 
			{
			document.images[pics[i][3]].src = pics[i][0].src;
			}
		}

	function push(name)
		{
		for (var i=0;i<objCount;i++)
			{
			 if (name != pics[i][3]) document.images[pics[i][3]].src = pics[i][0].src      
			 else document.images[pics[i][3]].src = pics[i][2].src;
			}
		}

	function unpush(name)
		{
		for (var i=0;i<objCount;i++)
			{
			 if (name != pics[i][3]) document.images[pics[i][3]].src = pics[i][0].src      
			 else document.images[pics[i][3]].src = pics[i][1].src;
			}
		}