<!--
function gob(){
if (document.boogieB.surf.options[document.boogieB.surf.selectedIndex].value != "none") {
location = document.boogieB.surf.options[document.boogieB.surf.selectedIndex].value
}
}
//-->
<!--
document.write('<form name="boogieB">');
document.write('<select name="surf" onChange="location= document.boogieB.surf.options[document.boogieB.surf.selectedIndex].value;" value="GO">');
document.write('<option selected>About</option>');
document.write('<option value="none">---------------</option>');
document.write('<option value="introduction.html">Introduction</option>');
document.write('<option value="users-guide.html">User\'s Guide</option>');
document.write('<option value="thanks.html">Chin\'an!</option>');
document.write('</select>');
document.write('</form>');
// end hiding contents -->

