//FUNZIONE PER LA FORMATTAZIONE

// Conversione in maiuscolo
function upper_case(id)
{
	this.document.getElementById(id).value=
			this.document.getElementById(id).value.toUpperCase();												
}


function trim(stringa){
    while (stringa.substring(0,1) == ' '){
        stringa = stringa.substring(1, stringa.length);
    }
    while (stringa.substring(stringa.length-1, stringa.length) == ' '){
        stringa = stringa.substring(0,stringa.length-1);
    }
    return stringa;
}

function money_format(num) {
	if(num=="") return "";
	num = num.toString().replace(',','.');
	num = num.toString().replace(/\$|\,/g,'');
	if(isNaN(num))
		num = "0";
	sign = (num == (num = Math.abs(num)));
	num = Math.floor(num*100+0.50000000001);
	cents = num%100;
	num = Math.floor(num/100).toString();
	if(cents<10)
		cents = "0" + cents;
	for (var i = 0; i < Math.floor((num.length-(1+i))/3); i++)
		num = num.substring(0,num.length-(4*i+3))+'.'+num.substring(num.length-(4*i+3));
	return (((sign)?'':'-') +  num + ',' + cents); 
}

function mytime() {
	var x=new Date();
	h=x.getHours();
	m=x.getMinutes();
	s=x.getSeconds();
	if(s<=9) s="0"+s;
	if(m<=9) m="0"+m;
	if(h<=9) h="0"+h;
	time=h+":"+m+":"+s;
	this.document.getElementById("rtime").innerHTML=time;
	setTimeout("mytime()",1000); 
}