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

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

     pic23off= new Image(40,25);
     pic23off.src="images/fotomenubtnoff.jpg";
	 
	 pic24on= new Image(40,25);
     pic24on.src="images/nieuwsmenubtnon.jpg";  

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