var fDesc=new Array(); fDesc[0] = "WMV Cutter is an easy-to-use tool to cut WMV files.
WMV Cutter allows you to cut a large WMV file into smaller WMV files, or to extract manually selected segments of an WMV file to new WMV files.
Using direct stream cut tech, our Cutter can quickly cut larger WMV files without recompression, so it is very fast and without any quality loss."; 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 = ''; } }