// return the value of the radio button that is checked
// return an empty string if none are checked, or
// there are no radio buttons
function getCheckedValue(radioObj) {
	if(!radioObj)
		return "";
	var radioLength = radioObj.length;
	if(radioLength == undefined)
		if(radioObj.checked)
			return radioObj.value;
		else
			return "";
	for(var i = 0; i < radioLength; i++) {
		if(radioObj[i].checked) {
			return radioObj[i].value;
		}
	}
	return "";
}

// set the radio button with the given value as being checked
// do nothing if there are no radio buttons
// if the given value does not exist, all the radio buttons
// are reset to unchecked
function setCheckedValue(radioObj, newValue) {
	if(!radioObj)
		return;
	var radioLength = radioObj.length;
	if(radioLength == undefined) {
		radioObj.checked = (radioObj.value == newValue.toString());
		return;
	}
	for(var i = 0; i < radioLength; i++) {
		radioObj[i].checked = false;
		if(radioObj[i].value == newValue.toString()) {
			radioObj[i].checked = true;
		}
	}
}

function ScriviNumeroIntero(oggetto){
 if (event.keyCode==13){
 		FormattaNumero(oggetto); 
 }
 else
 if (event.keyCode<48||event.keyCode>57)
    return false;
}


function FormattaNumero(oggetto){

   val=new String(oggetto.value);
	 while (val.indexOf(".")>0)
	 	 val=val.replace('.','');

	 l=val.length;
	 t=l-3;
	 while(t>0){
	  val=val.substring(0,t) + '.' + val.substring(t,l);
		t-=3;
		l+=1;
	 }

oggetto.value=val;  
}