function show(id) {

var d = document.getElementById(id);

	for (var i = 1; i<=15; i++) {

		if (document.getElementById('pubs'+i)) {document.getElementById('pubs'+i).style.display='none';}

	}

if (d) {d.style.display='block';}

}