var myimages=new Array()
	function preloadimages(){
		for (i=0;i<preloadimages.arguments.length;i++){
			myimages[i]=new Image()
			myimages[i].src=preloadimages.arguments[i]
		}
	}
	preloadimages("/images/spacer.gif","/images/top_menu_divider.gif","",""); 

	function submitsearch(){
		document.forms["searchform"].submit();
	}

	function clearText(thefield){
		if (thefield.defaultValue==thefield.value)
			thefield.value = "";
	}