function doMenu(s)  {
var val;

        val = s.options[s.selectedIndex].value;

        if( val == "" )  {
                return;
        }

	self.location = val;
}