if (document.images){
 latest_news_on = new Image(); latest_news_on.src = "images/buttons/news/latest_news_on.gif";
 latest_news_off = new Image(); latest_news_off.src = "images/buttons/news/latest_news_off.gif";
 archive_on = new Image(); archive_on.src = "images/buttons/news/archive_on.gif";
 archive_off = new Image(); archive_off.src = "images/buttons/news/archive_off.gif";
}