// esta funcion comprueba si una fecha es correcta
function checkDate(fecha)
{
anio = fecha.substring(6,10);
mes = fecha.substring(3,5);
dia = fecha.substring(0,2);


	if(fecha.charAt(2) != "/" || fecha.charAt(5) != "/" || fecha.length != 10)
	{ return false; }
	else
	{
	 if(isNaN(anio) || isNaN(mes) || isNaN(dia)) return false;
	 else return true;
	}
	
}

// esta funcion comprueba si una hora es correcta
function checkTime(hora)
{
 horas = hora.substring(0,2);
 minutos = hora.substring(3,5);
 segundos = hora.substring(6,8);
 
 	if(hora.charAt(2) != ":" || hora.charAt(5) != ":") return false;
	else
	{
	 if(isNaN(horas) || isNaN(minutos) || isNaN(segundos)) return false;
	 else
	 {
	  if(hora.length != 8) return false;
	  else return true;
	 }
	}
}

// etsa funcion cambia una fecha del formato DD/MM/AAAA al formato AAAA/MM/DD
function flipDate(fecha)
{
anio = fecha.substring(6,10);
mes = fecha.substring(3,5);
dia = fecha.substring(0,2);

	if(checkDate(fecha) == true)
	 return anio+"/"+mes+"/"+dia;
	else return false;
	
}

function checkEmail(email)
{
var emailPat=/^(.+)@(.+)$/; 
var matchArray=email.match(emailPat); 

	if(matchArray == null) return false;
	else return true;
}

function showProperties(idLayer)
{

 if(divDesc.length > 0)
 {
	for(i = 0; i < divDesc.length; i++)
	{
		if(i == idLayer)
		{
			if(document.all.divDesc[i].style.visibility == "hidden")
			 document.all.divDesc[i].style.visibility = "visible"; 
			else  	 
			 document.all.divDesc[i].style.visibility = "hidden";  
		}
		else document.all.divDesc[i].style.visibility = "hidden";
	}
 }
 else
 {
 	if(document.all.divDesc.style.visibility == "hidden")
	 document.all.divDesc.style.visibility = "visible"; 
	else  	 
	 document.all.divDesc.style.visibility = "hidden"; 
 
 }  
  
}