function gallery_menu(page) {
	var maxpages = 7;
	document.write('<table cellpadding=0 cellspacing=0 width=600 border=0>\n');
	document.write('<tr valign=baseline>\n');
	document.write('<td>Click on an image to see a larger version<br><br></td>\n');
	document.write('<td align=right>Page');
	for (var i=1; i<maxpages+1; i++) {
		if (i != page) {
			document.write(' <a href="index');
			if (i > 1) document.write(i);
			document.write('.shtml">' + i + '</a>');
		} else {
			document.write(' ' + i);
		}
	}
	document.write('</td>\n');
	document.write('</tr>\n');
	document.write('</table>\n');
}