/* This file is loaded, using script tags, wherever we want this stuff in an HTML
file.  The code is immediately executed and adds to the page contents. */

/* In this example, we suppose that we want to write a series of links to
news sources.  */

document.write("<ul>\n");
document.write("<li>");
document.write('<a href="http://news.google.com">Google news</a>\n');

document.write("<li>");
document.write('<a href="http://www.nytimes.com">New York Times</a>\n');

document.write("<li>");
document.write('<a href="http://www.bbc.co.uk">British Broadcasting Company (BBC) News</a>\n');
document.write("</ul>\n");