// JavaScript Document
function showInfo(num) {
	document.getElementById('infopane'+num).style.visibility = 'visible';
}
function hideInfo(num) {
	document.getElementById('infopane'+num).style.visibility = 'hidden';
}