function redirect_e(url_parameters) {
	location.href = "?p=2009_ensemble&e=" + url_parameters;
}
function ens_col_row_hover(div) {
	div.className = "ens_col_row ens_col_row_hover";
	div.style.textDecoration = "none";
	div.style.cursor = "pointer";
}
function ens_col_row_out(div) {
	div.className = "ens_col_row";
}