function get_id(id){
	return document.getElementById(id);
}

function select(id){
	get_id(id).style.display = (get_id(id).style.display=='none') ? '' : 'none' ;
}