/**********************/ /* Javascript Add-ons */ /**********************/ // Function to allow one JavaScript file to be included by another. function includeJavaScript(jsFile) { var endString = jsFile + '"'; document.write('