var fDesc=new Array(); fDesc[0] = "A desktop utility that uses hot keys for selecting (switching between) windows, minimizing, maximizing, and making windows Always On Top. JumpKeys is particularly useful for those who work in several applications simultaneously and spend a lot of time switching between the same set of windows."; 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 = ''; } }