var new_window;

function open_window(href, target)
{
	var windowProperties="toolbar=no,location=no,status=no,menubar=no,scrollbars=yes,resizable=yes,alwaysRaised=yes,dependent=yes,titlebar=yes";
	new_window = window.open(href, target, windowProperties);
	new_window.focus();
}
function reload()
{
	document.location.reload();
}
function theme(lang, prefix, target)
{
	if (! lang) lang = "";
	if (! prefix) prefix = "";
	if (! target) target = "";
	open_window(prefix + "Thema_"+lang+".html", target);
}
function locations(lang, prefix, target)
{
	if (! lang) lang = "";
	if (! prefix) prefix = "";
	if (! target) target = "";
	open_window(prefix + "Ort_"+lang+".html", target);
}