<!--

function img_mouse_over( img )
{
  img.width = "540";
  img.marginRight = "0px";
}

function img_mouse_out( img )
{
  img.width = "160";
  img.marginRight = "10px";
}

//-->