function on_textref_toggle(id){
	var textref = document.getElementById(id);
	textref.style.display = textref.style.display != 'none' ? 'none' : 'block';
}