 = [];</script>
<script type="text/javascript">
	var navOldStyle = {};
	var pageOldStyle = {};
	var divOldStyle = {};
	var which = true;

	function showMobileNav() {
		if(which === false) return;
		var nav = document.getElementById("pkglist");
		var page = document.getElementById("page");
		var div = window.frames["pkglist"].document.getElementById("mobile_container");
		navOldStyle.display = nav.style.display;
		navOldStyle.height = nav.style.height;
		navOldStyle.width  = nav.style.width;
		navOldStyle.te