<!--
count = 0;
function changeImage()
{
  count++;
  count %= 5;
  document.cat.src = "script/" + count + ".jpg";
}
//-->