<!--

function roll(img_name1, img_src1)
{
  document[img_name1].src = img_src1;
}

function changeStyle(element_id,style)
{
  var div=document.getElementById(element_id);
  if (div) div.className=style;
}

-->