function IncludeJavaScript(a){document.write('