function changePage(url){
	var page = $('page_select').value;
	location.href = url + '/' +  page;
}//function