function openURL(URL,TARGET){
	
	if(TARGET == ""){
		window.location.href = URL; 
	}else{
		var FENSTER = window.open(URL, "new Window", "");
	}	
}


function swapImg(ID,SRC){
	obj = document.getElementById(ID);
	if(obj){
		obj.src = SRC;
	}
	
}


function checkSearchForm(){
	obj = document.getElementById("words");
	if(obj && obj.value == ""){
		obj.value = "*";
	}
	
}