function click() {         
if (event.button==2)
  document.selection.empty();
}         
document.onmousedown=click
function press_key() {
  if(event.keyCode==17)
    document.selection.clear();    
}    
document.onkeydown=press_key