// define various events of the search field in the upper right corner
var searchword = document.getElementById("searchword");
searchword.initial_value = searchword.value;
searchword.onfocus = function () {
	if (searchword.value == searchword.initial_value)
		searchword.value = '';
}
searchword.onblur = function () {
	if (searchword.value == '')
		searchword.value = searchword.initial_value;
}
searchword.onkeypress = function (e) {
	var keyCode = -1;
	if (e) keyCode = e.keyCode;
	else if (event)	keyCode = event.keyCode;
	if (keyCode == 13) {
		var searchform = document.getElementById('searchform').getElementsByTagName('form')[0];
		searchform.sword.value = searchword.value;
		searchform.submit();
	}
}