// summer_random.js
// random image script




function randomSplash() {
  splashPages = ["http://www.fennesz.com/images/collaborations1.jpg", "http://www.fennesz.com/images/collaborations2.jpg", "http://www.fennesz.com/images/collaborations3.jpg", "http://www.fennesz.com/images/collaborations4.jpg", "http://www.fennesz.com/images/collaborations5.jpg", "http://www.fennesz.com/images/collaborations6.jpg"];
				 
	idx = Math.floor(Math.random() * splashPages.length);
	randomImage = splashPages[ idx ];

	document.write('<img src="'+randomImage+'" width="700" height="200" alt="Fennesz"> \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=" "http://www.fennesz.com/images/collaborations1.jpg", width="700" height="200" alt="Fennesz">');	}
	else	{
	document.writeln('<script language="JavaScript">');
	document.writeln('<!--');
	document.write("randomSplash()")
	document.writeln('\/\/ -->');
	document.writeln('<\/script>');	
}