function WriteOptions($Discussion, &$Sender, &$Session) {
  if ($Session->IsValid() && $Sender->ShowOptions) {
      echo '<div class="Options">';
      // Allow plugins to add options
      $Sender->FireEvent('DiscussionOptions');

      // Bookmark link
      $Title = T($Discussion->Bookmarked == '1' ? 'Unbookmark' : 'Bookmark');
      echo Anchor(
         '<span class="Star">'
            .Img('applications/dashboard/design/images/pixel.png', array('alt' => $Title))
         .'</span>',
         '/vanilla/discussion/bookmark/'.$Discussion->DiscussionID.'/'.$Session->TransientKey().'?Target='.urlencode($Sender->SelfUrl),
         'Bookmark' . ($Discussion->Bookmarked == '1' ? ' Bookmarked' : ''),
         array('title' => $Title)
      );

      echo '</div>';
   }
}