document.write('<script type="text/javascript" src="/static/js/tabbed_box.js"></script>');
document.write('<script type="text/javascript" src="/static/js/navhighlight.js"></script>');