// Javascript

// menu.js
// Created by Greg Vilines
// 05/29/04

// Loads menu bar, menu functions

function menu_over(n) {
	document.images[n].src = 'hdr_pics/menu_' + n + '_alt.gif';
}
	
function menu_out(n) {
	document.images[n].src = 'hdr_pics/menu_' + n + '.gif';
}

// Assume that HTML file has set variable called hdr_img to a string with the correct picture
document.write('<table width="800" height="100" cellpadding="0" cellspacing="0" border="0"><tr>');
document.write('<td width="800" height="100" align="center"><img src="' + hdr_img + '"></td></tr></table>');

new Image().src="hdr_pics/menu_home_alt.gif";
new Image().src="hdr_pics/menu_condo_alt.gif";
new Image().src="hdr_pics/menu_seagrove_alt.gif";
new Image().src="hdr_pics/menu_photos_alt.gif";
new Image().src="hdr_pics/menu_directions_alt.gif";
new Image().src="hdr_pics/menu_contact_alt.gif";