var lastAdminTime = null; function doubleClick(filename) { if(lastAdminTime) { var now = new Date(); if (now - lastAdminTime < 3000) { if (window!=top) { top.location.href="index.php?page="+filename+"&action=edit&redirect="+filename+"&redirectaction=edit"; } else { this.document.write(""); this.document.close(); } } else { lastAdminTime = new Date(); } } else { lastAdminTime = new Date(); } }