function submitform(gastype)
{	
	if (gastype != 'nochange'){
		document.getElementById("gastype").value = gastype;
	}
	document.form1.submit();
}