document.write('<OPTION> ::: OCEAN STAR :::</OPTION>');
document.write('<OPTION value="oceanstar512.htm">OCEAN STAR 512</OPTION>');
document.write('<OPTION value="oceanstar56.htm">OCEAN STAR 56</OPTION>');