Auto-refresh bookmarklet

Auto-refresh bookmarklet that restores scroll position

/* origin: http://www.google.com/support/forum/p/Chrome/thread?tid=1a37ccbdde5902fd&hl=en
this version restores vertical scroll position after reload */

javascript:
timeout=prompt("Set timeout [s]");
current=location.href;
if(timeout>0) {
  setTimeout('reload()',1000*timeout);
}
else
{
  location.replace(current);
}
var called=false;
function reload(){
  var y = 0;
  if (called)
  {
    y = window.frames[0].scrollY;
  }
  else
  {
    y = window.scrollY;
    called=true;
  }
  setTimeout('reload()',1000*timeout);
  fr4me='<frameset cols=\'*\'><frame src=\''+current+'\' onload=\'setTimeout("window.frames[0].scrollTo(0,'+y+');", 100)\' /></frameset>';
  with(document){write(fr4me);void(close())};
}