/index.html#!/, window.location.hash)  ) {
				document.querySelector('#main').src = window.location.href.replace(/\/index.html#!/, '/');
			}
		}
	</script>	
</head>
<frameset cols="20%,*">
  <frame name="list" id="list" src="modules_list.html" />
  <frame name="main" id="main" src="overview.html" />
</frameset>
</html>
