window.onload = function() {
	if (document.getElementById('ctrl_keywords').value=='') document.getElementById('ctrl_keywords').value='Stichwortsuche';
	document.getElementById('ctrl_keywords').onfocus = function() {document.getElementById('ctrl_keywords').value=''};
	document.getElementById('ctrl_keywords').onblur = function() {if (document.getElementById('ctrl_keywords').value=='') document.getElementById('ctrl_keywords').value='Stichwortsuche'};
}