lang_ext = new Array("de", "en")

lang_0 = "checked"
lang_1 = ""

if(location.href.indexOf(lang_ext[1] + ".html") != -1)
	{
	lang_0 = ""
	lang_1 = "checked"
	}

function plot(filename)
	{
	document.write
		(
		'<span class="language">',
			'<font color="#000000">',
				'<input type="radio" name="lang" value="de" onclick="go(0,\'' + filename + '\')" ' + lang_0 + '>',
				'<a href="' + filename + '-de.html">',
					'deutsch</a><br>',
				'<input type="radio" name="lang" value="en" onclick="go(1,\'' + filename + '\')" ' + lang_1 + '>',
					'<a href="' + filename + '-en.html">',
							'english</a></font></span>'
		)
	}

function go(lang, filename)
	{
	if(location.href.indexOf(lang_ext[lang] + ".html") != -1) return

	location.href= filename + "-" + lang_ext[lang] + ".html"
	}