var flash_count=0

function RefreshPage(url) { window.location=url }

function Counter(pause, url) {
  flash_count++
  if (flash_count==pause) RefreshPage(url)
}