function setCurrent(section, page) {
	section = "nav_"+ section;
	document.getElementById(section).className = "current";

	page = "nav2_"+ page;
	pageClass = document.getElementById(page).className;
	document.getElementById(page).className = pageClass + " current";
	return;
}


function url_param(p) {
	// Retrieve an url param specified by p=value
	var re = new RegExp( p + "=([^&]+)" );
	return document.location.href.match(re)[1];
}


function list_value(l) {
	return l.options[l.selectedIndex].value;
}