// summer_random.js
// random image script




function randomSplash() {
  splashPages = ["../images/random_newin/02.jpg",
		"../images/random_newin/03.jpg"];
				 
	idx = Math.floor(Math.random() * splashPages.length);
	randomImage = splashPages[ idx ];

	document.write('<img src="'+randomImage+'" width="138" height="138" alt="new brm release"> \n');
	}



// surprise surprise, this script doesn't work in netscape,
// so by using document.write we write the random image script
// for ie, and hide it from netscape.

var browser = new Object();
var win=false;
if (navigator.userAgent.indexOf("Win")!=-1) {
	win=true; }
else
browser.version = parseInt(navigator.appVersion);
browser.isNavigator = false;
browser.isIE = false;
if (navigator.appName.indexOf("Netscape") != -1) {
	browser.isNavigator = true; }
if (navigator.appName.indexOf("Microsoft") != -1) {
	browser.isIE = true; }
if ((browser.isNavigator == true)&&win) {
	document.writeln('<img src="../images/random_newin/netscape.jpg" width="138" height="138" alt="new brm release">');	}
else	{
	document.writeln('<script language="JavaScript">');
	document.writeln('<!--');
	document.write("randomSplash()")
	document.writeln('\/\/ -->');
	document.writeln('<\/script>');	
}