//toma como parámetro el id del input que contiene el nombre del file a ser examinado.
	function validImageFileExtension(inputId) {
		var extension = getExtension(inputId);
		if (extension!='') {
			if (extension!='.jpg' && extension!='.gif' && extension!='tiff' && extension!='.tif') {
				alert("Ha seleccionado un archivo con extensión "+extension+" . " + '\n' +
						"El formato de la imagen puede ser JPG, GIF o TIFF.");
				return false; 
			}
		}
		return true;
	}
	
	
	function getExtension(id) {
		if (document.getElementById(id) != null){
			var ext = document.getElementById(id).value.replace(/^\s*|\s*$/g,"");
			if ( ext.length>0 ) {
				ext = ext.substring(ext.length-4,ext.length);
				ext = ext.toLowerCase();
				return ext;
			}
			return '';
		}else{
			return '';
		}
	}