function randomgif(path, numPics) {
num
if (path == "top")
 {
   var now = new Date()
   var sec = now.getSeconds()
	 var num = (sec%numPics+1)
   document.write("<img name=\"rtop\" src=\"../bitmaps/pic_" + path + num + ".gif\">")
 }
else
 {
   var newsr = document.rtop.src
   var nstring = new String (newsr)
	 var gstring = ""
   for (i=0; i <= nstring.length; i++)
	 {
	  gstring = gstring + nstring.charAt(i)
	   if (nstring.charAt(i) == "_")
		   {
			 gstring = gstring + "bottom"
			 i = i + 3
			 }
	 }	
   document.write("<img src=" + gstring + ">")
 }
}

//<script language="JavaScript" src="/includes/random.js"></script>
//<script language="javascript">randomgif("top",4)</script>
//<script language="javascript">randomgif("bottom",4)</script>