// JavaScript Document
function EnterPulsado(e)
{
 if(window.event) // IE
 var key=window.event.keyCode;
  else if(e.which) // Netscape/Firefox/Opera 
  var key=e.which;
  
 if(key == 13)
 return true;
  else
  return false;
}