window.onload = function() {
  favicon.defaultPause = 500;
  favicon.change("favicons/10.ico");
  resetSequence();
  $("emptyImage").onchange = function(ev) {
    resetSequence();
  }
  // Uncomment to see how change() will cancel the animation
  // setTimeout(function() { favicon.change("Icons/z.ico") }, 10000);

  function resetSequence() {
    var sequence = new Array( "favicons/0.ico", "favicons/1.ico", "favicons/2.ico", "favicons/3.ico", "favicons/4.ico", "favicons/5.ico", "favicons/6.ico", "favicons/7.ico", "favicons/8.ico", "favicons/9.ico", "favicons/10.ico", "favicons/11.ico", "favicons/12.ico", "favicons/13.ico", "favicons/14.ico", "favicons/15.ico", "favicons/16.ico", "favicons/17.ico", "favicons/18.ico", "favicons/19.ico", "favicons/20.ico");
  if ($("emptyImage").checked) { sequence.push(""); }
    favicon.animate(sequence);
  }

  function $(id) { return document.getElementById(id); }

}