// JavaScript Document



var imagenes = new Array();



imagenes[0] = new Image();

imagenes[0].src = "imagenes/menu_1_a.gif";

imagenes[1] = new Image();

imagenes[1].src = "imagenes/menu_1_b.gif";

imagenes[2] = new Image();

imagenes[2].src = "imagenes/menu_2_a.gif";

imagenes[3] = new Image();

imagenes[3].src = "imagenes/menu_2_b.gif";

imagenes[4] = new Image();

imagenes[4].src = "imagenes/menu_3_a.gif";

imagenes[5] = new Image();

imagenes[5].src = "imagenes/menu_3_b.gif";

imagenes[6] = new Image();

imagenes[6].src = "imagenes/menu_4_a.gif";

imagenes[7] = new Image();

imagenes[7].src = "imagenes/menu_4_b.gif";

imagenes[8] = new Image();

imagenes[8].src = "imagenes/menu_5_a.gif";

imagenes[9] = new Image();

imagenes[9].src = "imagenes/menu_5_b.gif";

imagenes[10] = new Image();

imagenes[10].src = "imagenes/menu_6_a.gif";

imagenes[11] = new Image();

imagenes[11].src = "imagenes/menu_6_b.gif";





function activa_menu(menu){

	

	switch(menu)

	{

		case 'menu_1':

			document.getElementById(menu).src = imagenes[1].src;

			document.getElementById(menu).onmouseover = null;

			document.getElementById(menu).onmouseout = null ;			

			break;

		case 'menu_2':

			document.getElementById(menu).src = imagenes[3].src;

			document.getElementById(menu).onmouseover = null;

			document.getElementById(menu).onmouseout = null ;			

			break;

		case 'menu_3':

			document.getElementById(menu).src = imagenes[5].src;

			document.getElementById(menu).onmouseover = null;

			document.getElementById(menu).onmouseout = null ;			

			break;

		case 'menu_4':

			document.getElementById(menu).src = imagenes[7].src;

			document.getElementById(menu).onmouseover = null;

			document.getElementById(menu).onmouseout = null ;			

			break;

		case 'menu_5':

			document.getElementById(menu).src = imagenes[9].src;

			document.getElementById(menu).onmouseover = null;

			document.getElementById(menu).onmouseout = null ;			

			break;

		case 'menu_6':

			document.getElementById(menu).src = imagenes[11].src;

			document.getElementById(menu).onmouseover = null;

			document.getElementById(menu).onmouseout = null ;			

			break;			

	}

	

}



function menu_area(menu)

{

	document.getElementById(menu).className = 'marcado';

}