// Controllo data nel formato 'gg/mm/aaaa'
//
function fnIsData(txt) {
	var re = /^\d{1,2}\/\d{1,2}\/\d{4}$/;
	
	if (re.test(txt)) {
		var adata = txt.split('/');
		var gg = parseInt(adata[0], 10);
		var mm = parseInt(adata[1], 10);
		var aaaa = parseInt(adata[2], 10);
		var xdata = new Date(aaaa, mm-1, gg);
		if ((xdata.getFullYear() == aaaa) && (xdata.getMonth() == mm-1) && (xdata.getDate() == gg)) {
			return xdata;
		} else {
			return false;
		}
	} else {
		return false;
	}
}

// Controllo ora nel formato 'hh.mm'
//
function fnIsOra(txt) {
	var re = /^\d{1,2}.\d{1,2}$/;
	
	if (re.test(txt)) {
		// estrapola dati ora
		var a_ora = txt.split('.');
		var hh = parseInt(a_ora[0], 10);
		var mm = parseInt(a_ora[1], 10);
		// controllo ore
		if ((hh < 0) || (hh > 23)) {
			return false;
		}
		// controllo minuti
		if ((mm < 0) || (mm > 59)) {
			return false;
		}
		// tutto ok
		return true;
	} else {
		return false;
	}
}

// Elimina spazi iniziali e finali di una stringa
//
function trim(str) {
	return str.replace(/\s+$|^\s+/g,"");
} 

// Elimina spazi iniziali di una stringa
//
function trimL(str) { 
	return str.replace(/^\s+/,""); 
} 

// Elimina spazi finali di una stringa
//
function trimR(str) { 
	return str.replace(/\s+$/,""); 
}