// JavaScript Document


<!-- Begin hiding this script from old browsers.
	var randnum = Math.random();
	var inum = 2;
	
	var rand1 = Math.round(randnum * (inum-1)) + 1;
	images = new Array;
	images[1] = "../images/bgs/infrastructure_1.jpg";
	images[2] = "../images/bgs/infrastructure_2.jpg";
	
	var image = images[rand1];
	// End hiding this script from old browsers. -->
	

	if (navigator.appName == "Microsoft Internet Explorer") {
	  with(document) {
	  write("<style type='text/css'>");
	  write("body {background:url(" + image + ") no-repeat fixed bottom right}");
	  write("</style>");
	  }
	}
	else {
	  document.write("<style type='text/css'>");
	  document.write("body {background:url(" + image + ") no-repeat fixed bottom right}");
	  document.write("</style>");
	}	
	
	// End hiding this script from old browsers. -->