556     if(divs[i].style.zIndex > z) z = divs[i].style.zIndex;

   556     if(divs[i].style.zIndex > z) z = divs[i].style.zIndex;

   557   }

   557   }

   558   return z;

   558   return z;

   559 }

   559 }

   560 

   560 

   561 function isKeyPressed(event)

   562 function isKeyPressed(event)

   562 {

   563 {

   563   if (event.shiftKey==1)

   564   if (event.shiftKey==1)

   564   {

   565   {

   565     shift = true;

   566     shift = true;