// JavaScript Document

function turnBlue(div_menu){	
	document.getElementById(div_menu).setAttribute("class", "boton_azul");
}

function turnGray(div_menu){	
	document.getElementById(div_menu).setAttribute("class", "boton_gris");
}

function linkBlue(div_menu){	
	document.getElementById(div_menu).setAttribute("class", "link_azul");
	document.getElementById(div_menu+"1").setAttribute("class", "link_azul");
}

function linkGray(div_menu){	
	document.getElementById(div_menu).setAttribute("class", "link_gris");
	document.getElementById(div_menu+"1").setAttribute("class", "link_gris");
}