<!--
 function right() {
  var myScrollDiv = document.getElementById("thumbnails");
  myScrollDiv.scrollLeft += 2;
  myScrollDiv.scr = window.setTimeout("right()", 2);
 }

 function left() {
  var myScrollDiv = document.getElementById("thumbnails");
  myScrollDiv.scrollLeft -= 2;
  myScrollDiv.scr = window.setTimeout("left()", 2);
 }

 function stop() {
  var myScrollDiv = document.getElementById("thumbnails");
  window.clearTimeout(myScrollDiv.scr);
 }
//-->