// JavaScript Document
Event.observe(window, 'load', function(event){
  if (document.images)
    {
      image_0 = new Image(212, 47);
      image_0.src = "/images/nav_artworks_current.gif";
	  image_1 = new Image(67, 47);
      image_1.src = "/images/nav_bio_current.gif";
	  image_2 = new Image(115, 47);
      image_2.src = "/images/nav_news_current.gif";
	  image_3 = new Image(168, 44);
      image_3.src = "/images/nav_contact_current.gif";
	  image_4 = new Image(159, 43);
      image_4.src = "/images/nav_private_current.gif";
	  image_5 = new Image(114, 42);
      image_5.src = "/images/nav_links_current.gif";
     }
});