function setRadioChecked(radioName){
     var radioObj = document.getElementById(radioName);
     if(!radioObj)
		return;
	else
	     radioObj.checked = true;
}