function refreshmain(a){a=a?a:window.event;actualCode=a.keyCode?a.keyCode:a.charCode;if(actualCode==116&&parent.main){parent.main.location.reload();if(document.all){a.keyCode=0;a.returnValue=false}else{a.cancelBubble=true;a.preventDefault()}}}_attachEvent(document.documentElement,"keydown",refreshmain);
