<!--
function roll(img_id, img_src)
{
    document.getElementById(img_id).src = img_src;
}

//-->