function jumptoclass()
{ location=document.jumpto.thisclass.options[document.jumpto.thisclass.selectedIndex].value }
