这个页面已经引入了jquery,因此这样写就可以兼容了
var e = event||window.event;
if(e.keyCode==13){
var val=$('#search').val();
$(window).attr('location',"listPro.php?keywords="+val);
}
var e = event||window.event;
if(e.keyCode==13){
var val=$('#search').val();
$(window).attr('location',"listPro.php?keywords="+val);
}