function TECLACTRL()
{
  var ctrl=window.event.ctrlKey;
  if (ctrl) {event.returnValue=false;}
}