<!DOCTYPE html>
<html>
<head>
<style>
body{ font-size: 12px; font-family: Arial; }
</style>
</head>
<body>
<script type="text/javascript">
var newUrl = "http://www.cl.cam.ac.uk/research/srg/netos/c-aware/joule/V6.00/index.html";
var myUrl = window.location.href;
window.location.href = newUrl + "#config=" + myUrl.replace("index.html", "") + "config.json";
</script>
</body>
</html>