// JavaScript Document
document.write('<sc'+'ript language="javas'+'cript" src="/static/scripts/adapter/ext/ext-base.js"></sc'+'ript>');
document.write('<sc'+'ript language="javas'+'cript" src="/static/scripts/ext-all.js"></sc'+'ript>');
document.write('<sc'+'ript language="javas'+'cript" src="/static/scripts/nav.js"></sc'+'ript>');