// a function to react to the MOUSEOVER and MOUSEOUT events                                            
function swap(pic,n)
{    
  if(n == 1) { pic.src = "images/download_over.png"; window.status = "MouseOver"; }
  if(n == 0) { pic.src = "images/download.png"; window.status = "MouseOut"; }      
}