function $() {

	  var elements = new Array();

	  for (var i = 0; i < arguments.length; i++) {
	    var element = arguments[i];
	    if (typeof element == 'string')
	      element = document.getElementById(element);

	    if (arguments.length == 1)
	      return element;

	    elements.push(element);
	  }

	  return elements;
	}


	function toggleRoute(nr) {

		$('routeOption1').style.display = 'none';
		$('routeOption2').style.display = 'none';
		$('routeOption3').style.display = 'none';

		var routeNr = 'routeOption'+nr;
		$(routeNr).style.display = '';
	}