function blink_title(title) {
	var eingeblendet = true; 	
	function change_text() {
		if(eingeblendet) {
			document.getElementsByTagName('title')[0].innerHTML = ' ';
			eingeblendet = false;
		} else {
			document.getElementsByTagName('title')[0].innerHTML = title;	
			eingeblendet = true;
		}
	}
	setInterval(change_text, 500);
}