function roll_over(img_name, img_src)
{
   document[img_name].src = '/images/' + img_src;
}