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

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

     pic9boff= new Image(40,25);
     pic9boff.src="/images/intbtnoff.jpg";

	 pic10on= new Image(40,25);
     pic10on.src="/images/downloadbtnon.jpg";

     pic10off= new Image(40,25);
     pic10off.src="/images/downloadbtnoff.jpg";
	 
	 pic11on= new Image(40,25);
     pic11on.src="/images/aanvraagoutbtnon.jpg";

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