document.write('<OPTION> ::: LAGOON :::</OPTION>');
document.write('<OPTION value="lagoon380.htm">LAGOON 380</OPTION>');
document.write('<OPTION value="lagoon410.htm">LAGOON 410</OPTION>');
document.write('<OPTION value="lagoon42.htm">LAGOON 42</OPTION>');
document.write('<OPTION value="lagoon470.htm">LAGOON 470</OPTION>');