var links  = 0;
var rechts = 0;

function hide(seite, version)
{
	document.getElementById(seite+"_"+version).style.visibility = "hidden";

	if(seite == "L")
	{
		if(links)
		{
			document.getElementById("L_"+links).style.visibility = "visible";
		}
		links = version;
	}
	if(seite == "R")
	{
		if(rechts)
		{
			document.getElementById("R_"+rechts).style.visibility = "visible";
		}
		rechts = version;
	}
}
function check_checked()
{
	if((!rechts) || (!links))
	{
		alert("Bitte wähle 2 zu vergleichende Versionen aus.");
		return false;
	}
	return true;
}