/* FrameRefresher is used to reload one or more frames
*/
var FrameRefresher = function()
{
  this.frames = new Array();
}
/* Add a frame to the list of frames to be updated
   parameter: Frame object
*/
FrameRefresher.prototype.addFrame = function( f )
{
  this.frames[ this.frames.length ] = f;
}
/* Refresh frames
*/
FrameRefresher.prototype.refreshFrames = function()
{
  for( var count = 0; count < this.frames.length; count++ )
  {
    this.frames[ count ].location.reload();
  }
}