/******************************************************************************
* images.js                                                               *
*                                                                             *
* Last update: May 21, 2008												  *
*                                                                             *
******************************************************************************/

/* Images pre loader */
  if (document.images)
   {
     pic50on= new Image(40,25);
     pic50on.src="images/verderbtnon.jpg";  

     pic50off= new Image(40,25);
     pic50off.src="images/verderbtnoff.jpg";
   }