document.write('This text is coming from a JavaScript include file<br>');
document.write('It is not contained in the main HTML file, and must<br>');
document.write('be loaded in a different HTTP GET request.<br>');