<!-- javascript functions
   function checkprice() {
      if (document.filter.price.selectedIndex == 14) {
	 document.getElementById('price12').style.display='';
      } else {
	 document.filter.price1.value = "";
	 document.filter.price2.value = "";
	 document.getElementById('price12').style.display='none';
      }
   }
// -->