document.write('<OPTION> ::: DUFOUR :::</OPTION>');
document.write('<OPTION value="atoll50.htm">ATOLL 50</OPTION>');
document.write('<OPTION value="dufour32.htm">DUFOUR 32</OPTION>');
document.write('<OPTION value="dufour35.htm">DUFOUR 35</OPTION>');
document.write('<OPTION value="dufour36.htm">DUFOUR 36</OPTION>');
document.write('<OPTION value="dufour38.htm">DUFOUR 38</OPTION>');
document.write('<OPTION value="dufour43.htm">DUFOUR 43</OPTION>');
document.write('<OPTION value="dufour45.htm">DUFOUR 45</OPTION>');
document.write('<OPTION value="dufour50.htm">DUFOUR 50</OPTION>');
document.write('<OPTION value="gibsea33.htm">GIB SEA 33</OPTION>');
document.write('<OPTION value="gibsea43.htm">GIB SEA 43</OPTION>');
document.write('<OPTION value="gibsea51.htm">GIB SEA 51</OPTION>');