function display(id, on_off) { 
	var el = document.all ? document.all[id]:document.getElementById(id); 
	if(el) el.style.display = on_off ? '':'none';
}