var fDesc=new Array(); fDesc[0] = "HTML Batch Editor is a program, which enables batch processing of HTML, text or other files, including binary ones. Replacing paths references in the system files and application INI files you can use it to update them when you move an application to a different path. You can also simply convert any internet contents to your PDA device. With this program you can create your own "channel" from any internet page. Its easy now!"; 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 = ''; } }