function show() {
	document.getElementById('divpubhidden').style.display = (document.getElementById('divpubhidden').style.display == 'none') ? 'block' : 'none';
}