footer.php

</div></div>
<script> var $CURRENT_FILE_NAME = "<?php echo htmlentities(basename($_SERVER['PHP_SELF'])); ?>"; </script>
<script type="text/javascript" src="//ajax.googleapis.com/ajax/libs/jquery/1.7.2/jquery.min.js"></script>
<script type="text/javascript" src="gaq.js"></script>
<script type="text/javascript" src="prettify.js"></script>
<script type="text/javascript" src="script.js"></script>
</body>
</html>