// JavaScript Document
// http://www.webdevelopersnotes.com/tips/html/javascript_image_mouse_rollover.php3
function roll_image(img_name, img_src) {
   document[img_name].src = img_src;
}