function makeArray(n){
  this.length = n;
  for (i=1;i<=n;i++){
    this[i]=0;
  }
  return this;
}

function popup(url) {
	popupwin = window.open (url, "mywindow");
}

function comprobarNavegador(){
	var txt = document.getElementById("content-inner2");
 	if (esie30()) txt.style.width = "710px"; 
 }
 
function hand (element) {
 	element.style.cursor = "pointer";
 }

function OnMenuElem (elem) {
		elem.style.color = "FF0000";
		elem.style.fontStyle = "italic";
	}
function OutMenuElem (elem) {
		elem.style.color = "#000000";
		elem.style.fontStyle = "normal";
	}
	

function dentroBoton(bot) {
	bot.className = "boton-cabecera-sel";
}

function fueraBoton(bot) {
	bot.className = "boton-cabecera";
}

 function esie30(){
	var browsertype= navigator.appName;
	if (browsertype == "Microsoft Internet Explorer") return true;
	else return false;
 }

function setCurso(curso) {
    var txt = document.getElementById("content-inner2");
    txt.innerHTML = "<p style='background-color:white;'>" + ayuda[curso]+ "</p>";
  }

function openCv (nombre,curso) {
	 var txt = document.getElementById("content-inner2");
     txt.innerHTML =  "<p style='background-color:white;'>" + ayuda[curso]+ "</p>" + "<p style='background-color:white;padding-top:20px;'>" + cv[nombre] + "</p>";

 }
 
 function closeCv (curso) {
	 var txt = document.getElementById("content-inner2");
     txt.innerHTML = "<p style='background-color:white;'>" + ayuda[curso] + "</p>";
 }

function displayDate() {
  var this_month = new makeArray(12);
  this_month[0]  = "Enero";
  this_month[1]  = "Febrero";
  this_month[2]  = "Marzo";
  this_month[3]  = "Abril";
  this_month[4]  = "Mayo";
  this_month[5]  = "Junio";
  this_month[6]  = "Julio";
  this_month[7]  = "Agosto";
  this_month[8]  = "Septiembre";
  this_month[9]  = "Octubre";
  this_month[10] = "Noviembre";
  this_month[11] = "Diciembre";

 	var today = new Date();
  var day   = today.getDate();
  var month = today.getMonth();
  var year  = today.getYear();
  var dia = today.getDay();
    if (year < 1000) {
       year += 1900; }
  return( " " + day + " de " + this_month[month] + " " + year);
}


function ImprimeReloj(){
    momentoActual = new Date()
    hora = momentoActual.getHours()
    minuto = momentoActual.getMinutes()
    segundo = momentoActual.getSeconds()
	horaImprimible =  " " + hora + ":" + minuto + ":" + segundo
	document.write( horaImprimible);

}

function pause(millis) {
	var date = new Date();
	var curDate = null;
	do { curDate = new Date(); }
	while(curDate-date < millis);
}