var v;
if ((v = this.elements.menu1.value) !== 'NONE')
location.href = v;
return false;