function checkFramed (frameset, content) {
	if (window == top)
		location.replace(frameset + "?c=" + content);
}

function syncTitle () {
	top.document.title = document.title;
}

function setStatus (str) {
	// document.SCRIPT_STATUS_TEMP = window.status;
	window.setTimeout("window.status = '"+str+"'", 1);
}

/* function restoreStatus () {
	var txt;
	if (document.SCRIPT_STATUS_TEMP)
	  txt = document.SCRIPT_STATUS_TEMP;
	else
		txt = '';

	window.setTimeout("window.status = '"+txt+"'", 1);
} */

function ceci () {
	setStatus("Dies ist kein Link.");
}