function radio_onchange () {
				var radio=document.getElementById("radio1");
				var text=document.getElementById("text1");
				if(radio.checked)
					text.disabled="";
				else
				{
					text.value="";
					text.disabled="disabled";
				}
			}