function switch_alive(alive_on) {
	display_style = alive_on ? '' : 'none';
	$$('.alive').each(function(row){
		row.style.display = display_style;
	});
}
function show_log_page(page) {
	$('log_pages').rows[0].cells[page].style.width = "100%";
}