function RotateMiniImage( id, file )
{
  document.getElementById( id ).src = file;
}

function RotateLargeImage( file1, file2, name )
{
  document.getElementById( 'Large_Left' ).src = file1;
  document.getElementById( 'Large_Right' ).src = file2;
  document.getElementById( 'Large_Text' ).innerHTML = name;
}