// JavaScript Document
function esEntero(valor)
{
	var ok=1;
	var enteros = "0123456789";
	for(i=0;i<valor.length && ok==1;i++)
	{
		ok=0;
		for(j=0;j<enteros.length && ok==0;j++)
		{
			if(enteros.charAt(j)==valor.charAt(i))
				ok=1;
			}
		}
	if(ok==0) 
		return false;
	else
		return true;
}

function valida_campo(campo, texto) {
	with(campo) { //esto vale para ahorrarse la coletilla de document.formulario.campo
		if(value==null || value==""){
			alert(texto);
			return false;
			}
			else
			{
				return true;
				}
		}
	}
	
function valida_email(campo, texto) {
	with(campo) {
		posicion_arroba=value.indexOf("@"); // indexOf para saber donde esta la Primera posicion de @
		posicion_punto=value.lastIndexOf("."); // lastIndexOf para saber donde esta la ultima posicion de .
		if(posicion_arroba<1 || posicion_punto-posicion_arroba<2){
			alert(texto);
			return false;
		}
		else return true;
	}
}