function checkWizardRadio(opt, n){
	var boxes = document.getElementsByName("optionX");
	for(i in boxes) boxes[i].checked = false;
}
function checkWizardOptional(opt, n){
	if(opt.checked) document.getElementById("radio_"+n).checked = true;
	var boxes = document.getElementsByName("optionX");
	for(i in boxes) if(boxes[i]!=opt) boxes[i].checked = false;
}