//Validadores de editores
//
function IntegerExit(editor){

}

function FloatOK(editor){

}

function FloatExit(editor){

}

function empty(editor){
return(editor.value=="");
}

function MailOK(editor){
mail=editor.value;
valid=(!empty(editor) && mail.indexOf('@')>0) && mail.indexOf(".")>0 && (mail.length>5);

if (!valid) {
   alert ("Debe introducir una dirección de correo válida");
   editor.focus();
   };
return(valid);
}