/* Crea una función para obtener el getElementById más fácil */
function el(elemento) {
	return document.getElementById(elemento);
}

/* Changes the location in base of the select with the id "location_change_select" */
function changeLocation() {
	var location = el('location_change_select').value;
	window.location = location;
}