var fDesc=new Array(); fDesc[0] = "Mapsource Map Explorer is a simple tool you can browse the maps that are installed in Mapsource. I'm not sure if there's much serious use for this tool, but it's fun to explore the map data. Comments, feature requests and questions can be posted in the forum."; function tShowHide(id, show) { var s = document.getElementById("desc"); if ((s.innerHTML.length<=212 || show==1) && show!=2) { s.innerHTML = fDesc[id]; if (document.getElementById('m1')) document.getElementById('m1').style.display='none'; if (document.getElementById('m2')) document.getElementById('m2').style.display='none'; if (document.getElementById('more_txt')) document.getElementById('more_txt').style.display='inline'; } else { s.innerHTML = ''; } }