document.write('<script language=javascript
src=\"/js_css/educators.js\"></script>');
document.write('<script language=javascript
src=\"/js_css/stemmer.js\"></script>');
document.write('<script language=javascript
src=\"/js_css/global.js\"></script>');
document.write('<script language=javascript
src=\"/js_css/PageSetup.js\"></script>');