// FILE BannerImageManager.js
// Contains the class BannerImageManager

// ===========================================
// Class BannerImageManager
// ===========================================
function BannerImageManager()
{

   if (typeof (BannerImageManager._initialized) == 'undefined')
   {
      BannerImageManager.prototype.GetImageHeight = GetImageHeight;
      BannerImageManager.prototype.GetImageWidth = GetImageWidth;
   }
   BannerImageManager._initialized = true;

   this.bannerImage = document.getElementById("bannerImage");

   this.imageWidth = 1258;
   this.imageHeight = 85;

   this.bannerImage.style["left"] = "0px";
   this.bannerImage.style["top"] = "0px";
   this.bannerImage.style["width"] = this.imageWidth.toString() + "px";
   this.bannerImage.style["height"] = this.imageHeight.toString() + "px";

   return;

   function GetImageHeight()
   {
      // + 4 is for the top, bottom margin around the image.
      return this.imageHeight + 4;
   }

   function GetImageWidth()
   {
      // + 4 is for the left, right margin around the image.
      return this.imageWidth + 4;
   }

}