document.write('<OPTION> ::: NAUTITECH :::</OPTION>');
document.write('<OPTION value="nautitech395.htm">NAUTITECH 395</OPTION>');
document.write('<OPTION value="nautitech435.htm">NAUTITECH 435</OPTION>');
document.write('<OPTION value="nautitech475.htm">NAUTITECH 475</OPTION>');