/*
 * Example script doing document.write
 */
document.write('Hello world from the hello_write.js file!');