// JavaScript Document
var contSubmenu = "";
//
cambioSubMenu = function(tn)
{
	var obj = document.getElementById("submenu_princ");
	if (tn == 0) {
		return true;
	}
	obj.innerHTML = "<font color='#666666' face='Arial' size='2'><center>cargando submenu... </center></font>";
	x_cambioSubMenu (tn,r_cambioSubMenu);
}
r_cambioSubMenu = function (r)
{
	var obj = document.getElementById("submenu_princ");
	//
	obj.innerHTML = r;
}