var lastArt=false
function artDisplay(divid) {
	artClose();
	var obj=document.getElementById(divid);
	if (obj) {
		obj.style.display='block';
		lastArt=divid;
	}
}

function artClose() {
	var obj;
	if (lastArt && (obj=document.getElementById(lastArt)))
		obj.style.display='none';
	lastArt=false;
}