function showcaption(div) {document.getElementById(div).style.display='inline';}
	function hidecaption(div) {document.getElementById(div).style.display='none';}