var old = '';
function display_tr(f) {
	var o = document.getElementById(f);
    if(o.style.display == 'none') {
		o.style.display = '';
		if(old && old != f) document.getElementById(old).style.display = 'none';
		old = f;
    }
	else {
		o.style.display ="none";
    }
}