// JavaScript Document
summer_over = new Image();
summer_over.src = 'images/nav_summer_over.gif';
cdc_over = new Image();
cdc_over.src = 'images/nav_cdc_over.gif';