// Global variables

var num = 0;

// Change picture

function changepic() {

  num++; if (num >= 10) {num = 1};
  document.images['hlavicka'].src = '../img/top_logo' + num + '.gif';
  setTimeout("changepic()",5*1000);
}
changepic();