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>');