[exec]

а этот вариант кроссбраузерный?

Да.

Класс это имя элемента?

class="nav"

Да желательно чтоб был универсальный

(function () {
	function redirect() {
		location.href = this.value;
	}
	var nodes = document.querySelectorAll ? document.querySelectorAll( 'SELECT.nav' ) : document.getElementsByTagName( 'SELECT' ),
	len = nodes.length;
	for ( var i = 0; i < len; i++ ) {
		if ( /\bnav\b/.test( nodes[i].className ) {
			if ( nodes[i].addEventListener ) {
				nodes[i].addEventListener( 'change', redirect, false );
			} else if ( nodes[i].attachEvent ) {
				nodes[i].attachEvent( 'onchange', function () {
					redirect.call( nodes[i] );
				} );
			} else {
				nodes[i].onchange = redirect;
			}
		}
	}
})();