var contentID = window.location.hash || "#win";

Tabs = {
	Init: function () {
		changeDownloads(contentID.replace(/#/,""))
	}
}

function changeDownloads(divid) {
	try
	{
		document.getElementById("win").className = "downloads-box";
		document.getElementById("nix").className = "downloads-box";
		document.getElementById("old").className = "downloads-box";
	}
	catch (Exception) { }
	
	try
	{
		document.getElementById("awin").className = "bluebutton";
		document.getElementById("anix").className = "bluebutton";
		document.getElementById("aold").className = "bluebutton";
	}
	catch (Exception) { }
	
	document.getElementById(divid).className = "downloads-selected";
	document.getElementById("a" + divid).className = "greenbutton";
}

window.onload = Tabs.Init;