var searchforminput = "Stichwortsuche";
function clearSearchFormInput()
{
	var value = document.getElementById("searchform").value;
	
	if(searchforminput == value)
	{
		document.getElementById("searchform").value = "";
	}
}

function setSearchFormInput()
{
	var value = document.getElementById("searchform").value;
	
	if(value == "")
	{
		document.getElementById("searchform").value = searchforminput;
	}
}