<!-- End page content -->
</div>
+<script type="text/javascript" src="js/defs.js"></script>
<script type="text/javascript" src="js/util.js"></script>
<script type="text/javascript" src="js/login.js"></script>
<script type="text/javascript" src="js/main.js"></script>