function includeJavascript(jsFile) { document.write('