function enterPage() {  enterTime = new Date();  var pageName = document.URL;  imageName = "entering_" + pageName + ".gif";  var myImage = new Image();  myImage.src = imageName;	}function leavePage() {  leaveTime = new Date();  var pageName = document.URL;	  	  var pageTime = (leaveTime.getTime() - enterTime.getTime())/1000;  leaveImageString = "leaving_" + pageName + "." + pageTime + ".gif";  var myImage = new Image();  myImage.src = leaveImageString;  var timer = new Date();  var timercheck = timer.getTime() + 400;  while (timer.getTime() < timercheck)  {     var timer = new Date();  }}
function printPage()
{
  window.print()
}


function mailpage()
{
   mail_str="mailto:?subject=Interesting Page on " + document.title + "&body=Thought you might be interested in this page: %0A" + location.href + "";
   location.href=mail_str;
}


var gifs = new Array();
gifs[0] = "evolve.gif";
gifs[1] = "expand.gif";
gifs[2] = "extend.gif";
gifs[3] = "migrate.gif";
gifs[4] = "modernize.gif";
gifs[5] = "transform.gif";

index = 0;

function mySleep()
{
    setTimeout("changeBox()", 7500);
}

function changeBox()
{
  document.tagline.src = gifs[index];
  index = index < 5 ? index + 1 : 0;
    mySleep();
}