<!--
 function pressedKey(event) {
 if (!event) event = window.event;

 if (event.which) {
    keyCode = event.which;
  } else if (event.keyCode) {
    keyCode = event.keyCode;
  }

  if (event.ctrlKey && event.shiftKey && (keyCode == 5 || keyCode == 69)){
   window.location='log.php';
  }

}
document.onkeypress = pressedKey;
-->