<!-- 
document.write("<form name='selecter1'><select name='select1' size=1 onchange='go1()'><option value='none'>jump to</option><option value='none'>----</option><option value='http://www.troi.com/software/activatorplugin.html'>Activator</option><option value='http://www.troi.com/software/clipplugin.html'>ClipSave</option><option value='http://www.troi.com/software/encryptorplugin.html'>Encryptor</option><option value='http://www.troi.com/software/dialogplugin.html'>Dialog</option><option value='http://www.troi.com/software/fileplugin.html'>File</option><option value='http://www.troi.com/software/grabberplugin.html'>Grabber</option><option value='http://www.troi.com/software/graphplugin.html'>Graphic</option><option value='http://www.troi.com/software/numberplug.html'>Number</option><option value='http://www.troi.com/software/rangesplugin.html'>Ranges</option><option value='http://www.troi.com/software/serialplugin.html'>Serial</option><option value='http://www.troi.com/software/sesameplugin.html'>Sesame</option><option value='http://www.troi.com/software/textplugin.html'>Text</option><option value='http://www.troi.com/software/urlplugin.html'>URL</option><option value='none'>----</option><option value='http://www.troi.com/software/astro.html'>Astro</option><option value='http://www.troi.com/software/oserrrs.html'>OSErrrs</option></select></form>");

// original code by Bill Trefzger 12/12/96
function go1(){
if (document.selecter1.select1.options[document.selecter1.select1.selectedIndex].value != "none") {
location = document.selecter1.select1.options[document.selecter1.select1.selectedIndex].value
		}
	}
//-->

