if ( document.images ) {
	home_f2 = new Image(); home_f2.src = "img/nav_home_f2.gif";
	about_f2 = new Image(); about_f2.src = "img/nav_about_f2.gif";
	ports_f2 = new Image(); ports_f2.src = "img/nav_ports_f2.gif";
	sched_f2 = new Image(); sched_f2.src = "img/nav_sched_f2.gif";
	agents_f2 = new Image(); agents_f2.src = "img/nav_agent_f2.gif";
	contact_f2 = new Image(); contact_f2.src = "img/nav_contact_f2.gif";
}