function size() {
 var scr = document.body.clientHeight;
 var footer = document.getElementById('footer');
  if (navigator.userAgent.indexOf("Opera")!=-1) location.href=location.href;
}