<!-- Start menu images swap
function image_swap(image_name) {
  if (document.images) {
    document.images[image_name].src =
    'images/menu_' + image_name + '-over.gif';
  }
}
function image_restore(image_name) {
  if (document.images) {
    document.images[image_name].src = 
    'images/menu_' + image_name + '.gif';
  }
}
// End -->