function flash_tag ( tag )
  {
    document.write (tag);
  }