// Inserts a Flash header (specified with SWF details) into a DIV element of the page (specified by element 'id' value).
      function embedFlashHeader(div_element_id, swf_uri, swf_width, swf_height)
      {
        if (self.is_usable_string(div_element_id) && self.is_usable_string(swf_uri) && self.is_dimensions_number(swf_width) && self.is_dimensions_number(swf_height))
        {
          var flash_object_id = 'flash_header';
          if (div_element_id != flash_object_id)
          {
            Flash_Code.embedMovie({playerversion:'8', id:flash_object_id, movie:swf_uri, width:swf_width.toString(10), height:swf_height.toString(10), flashvars:''}, div_element_id);
            setTimeout("self.passDataToFlashObject(self.getFlashObjectById('" + flash_object_id + "'), 'xml_text', self.xml_text);", 350);
          }
        }
      }

      // Assigns a specified value to a variable (specified by name) within a Flash object (specified by 'id' value).
      function passDataToFlashObject(flash_object, variable_name, variable_value)
      {
        if (self.is_usable_string(variable_name) && self.is_usable_string(variable_value, true) && self.is_usable_data(flash_object))
        {
          flash_object.SetVariable(variable_name, variable_value);
        }
      }

      // Retrieves a reference to an embedded Flash object (specified by 'id' value).
      function getFlashObjectById(flash_object_id)
      {
        var flash_object = null;
        if (self.is_usable_data(self.document[flash_object_id]))
        {
          flash_object = self.document[flash_object_id];
        }
        else
        {
          if (self.is_usable_data(self.document.embeds) && self.is_usable_data(self.document.embeds[flash_object_id]))
          {
            flash_object = self.document.embeds[flash_object_id];
          }
          else
          {
            if (self.is_usable_data(self.document.getElementById))
            {
              flash_object = self.document.getElementById(flash_object_id);
            }
          }
        }
        return flash_object;
      }

      // Auxiliary validation function.
      function is_usable_string(postulant_data, disregard_length) {return typeof postulant_data == 'string' && (disregard_length === true || postulant_data.length > 0);}

      // Auxiliary validation function.
      function is_usable_number(postulant_data) {return typeof postulant_data == 'number' && isFinite(postulant_data);}

      // Auxiliary validation function.
      function is_dimensions_number(postulant_data) {return self.is_usable_number(postulant_data) && postulant_data > 0;}

      // Auxiliary validation function.
      function is_usable_data(postulant_data) {return !(postulant_data === null || typeof postulant_data == 'undefined');}