/* Ausblenden der Hinweisbox */
function JavaClose() {
	document.getElementById("javatipp").style.display="none";	
	}