function ws_newImage(arg) {
	if (document.images) {
		rslt = new Image();
		rslt.src = arg;
		return rslt;
	}
}

function ws_preloadImages() {
  preload_image_1 = ws_newImage('imgs/nav_bullet_1_active.gif');
  preload_image_2 = ws_newImage('imgs/nav_bullet_2_active.gif');
}