/* the code below sets the fancy default text of the search box */

var searchtext = document.getElementById('searchtext')

searchtext.onfocus = function(){
	if(searchtext.value == searchtext.defaultValue)
		searchtext.value = '';
}

searchtext.onblur = function(){
	if(!searchtext.value)
		searchtext.value = searchtext.defaultValue;
}