<HTML> <HEAD> <TITLE>The Billboard</TITLE> <SCRIPT LANGUAGE = "JavaScript"> bName = navigator.appName; bVer = parseInt(navigator.appVersion); if ((bName == "Netscape" && bVer >= 3) || (bName == "Microsoft Internet Explorer" && bVer >= 4)) br = "n3"; else br = "n2"; if (br == "n3") { boardNum = 0; boardSpeed = 2000; billboards = new Array(); billboards[0] = new Image(); billboards[0].src = "news.gif"; billboards[1] = new Image(); billboards[1].src = "archives.gif"; billboards[2] = new Image(); billboards[2].src = "contents.gif"; url = new Array(); url[0] = "news/index.html"; url[1] = "archives/index.html"; url[2] = "contents/index.html"; } function rotateBoard() { document.billboard.src = billboards[boardNum].src; if (boardNum < billboards.length - 1) boardNum++; else boardNum = 0; setTimeout('rotateBoard()', boardSpeed); } function jumpBillboard() { window.location.href = url[boardNum]; } </SCRIPT> </HEAD> <BODY BGCOLOR = "#FFFFFF"> <!-- The billboard image and link. --> <A HREF = "javascript:jumpBillboard()"> <IMG onLoad = "if (br == 'n3') setTimeout('rotateBoard()', boardSpeed)" NAME = "billboard" BORDER = 0 HEIGHT = 100 WIDTH = 150 SRC = "news.gif"></A> </BODY> </html>