<!--
function showhide(id)
{
	if (document.getElementById(id).style.visibility == "hidden")
	{
		document.getElementById(id).style.visibility = "visible";
	}
	else
	{
		document.getElementById(id).style.visibility = "hidden";
	}
}

document.write('<style type="text/css">#game_menu_selector { width: 1100px; height: 610px; }</style>');
-->
/*
     FILE ARCHIVED ON 09:01:35 Jan 21, 2013 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 21:48:28 Dec 04, 2017.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/