function roll_over(img_name, img_src)
{
document[img_name].src = "/web/mm.nsf/lupGraphics/" + img_src + "/$file/" + img_src;
}