// JavaScript Document

function cleanSearchbox(){
	document.searchbox.suchtext.value = "";
}