<!--
function roll_over(img_name,img_src)
{document[img_name].src= img_src;}
//-->