window.addEvent('domready', function(){
	var myMenu = new MenuMatic();
	$('nav').style.display='block';
	$$('option').each(function(element){
		element.addEvent('click',function() {
			if(element.value!='') {
				window.location.href = element.value;
			}
		});
	});
});