// Java Document for what we do pages
<!--
var frnum = 0;
var timed = 0;
var frmax = 0;
function changepic() {
   frnum ++;
   if (frnum > frmax) {
      window.clearInterval(timed);
      document.getElementById('frame1').src = "wwd_end.html";   
//   frnum=0;
   } else {
//      document.getElementById('frame1').src = thefile[frnum];
      frames['frame1'].location.href = thefile[frnum];
   }
}
function showtime(snum) {
    frmax = snum;
	timed=setInterval("changepic()",7000);
}  
-->