/* Define image files for random image outside browser version condition. */
	var randomimg = new Array(3);
	randomimg[1] = "elems/home_text1.gif";
	randomimg[2] = "elems/home_text2.gif";
	randomimg[3] = "elems/home_text3.gif";
       
        var imgno = Math.round(Math.random() * 3);
        if (imgno == 0){
          imgno = 1;
        }

        document.write('<img height="85" width="292" src="' + randomimg[imgno] + '" name="random" border="0">');
// -->