document.write('<OPTION> ::: FOUNTAINE :::</OPTION>');
document.write('<OPTION value="tobago35.htm">TOBAGO 35</OPTION>');
document.write('<OPTION value="athena38.htm">ATHENA 38</OPTION>');
document.write('<OPTION value="venezia42.htm">VENEZIA 42</OPTION>');
document.write('<OPTION value="belize43.htm">BELIZE 43</OPTION>');
document.write('<OPTION value="bahia46.htm">BAHIA 46</OPTION>');