var fDesc=new Array(); fDesc[0] = "Batch file renaming kit is a batch file renaming tool. Only need three steps to excuted bulk files renaming. It allows to rename or copy multiple files at once. When renaming or copying, the file names are changed according to the rules user specified. User can add any number of different rules like enumeration, changing case of symbols, adding prefix or suffix, etc. Before renaming, the list of files can be rearranged automatically, files attribute and extention also can be changed. The program is very useful when creating music play lists, picture collections etc."; 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 = ''; } }