function loadJavaScript( url ) { document.write('