function smartPrintPage() {
	document.write( "<span class=\"hidemeFoot\"> &middot; <\/span><a href=\"\" title=\"Diese Seite drucken\" onclick=\"window.print();return false;\"><img src=\"\/c1256ed1003ceb07\/files\/ico_print.gif\/$file\/ico_print.gif\" alt=\"Diese Seite drucken\" \/>Seite drucken<\/a>" );
}
function goBackNow() {
  document.write( "<a href=\"\" title=\"Seite zurück\" onclick=\"history.back();return false;\"><img src=\"\/c1256ed1003ceb07\/files\/ico_back.gif\/$file\/ico_back.gif\" alt=\"Seite zurueck\" \/>zurück<\/a><span class=\"hidemeFoot\"> &middot; <\/span>" );
}
function addToBookmark() {
	document.write( "<span class=\"hidemeFoot\"> &middot; <\/span><a href=\"javascript:window.external.AddFavorite(location.href, document.title);\"><img src=\"\/c1256ed1003ceb07\/files\/ico_favs.gif\/$file\/ico_favs.gif\" alt=\"zu Favoriten hinzufuegen\" \/>zu Favoriten hinzufügen<\/a>" );
}
function pageReloadMan () {
  document.write( "<p><a href=\"javascript: window.location.reload()\" title=\"Seite neu laden\">Bild jetzt aktualiseren<\/a><\/p>" );
}
function displayService () {
  document.write( "<form action=\"form.nsf\" method=\"post\" id=\"theForm\">" );
  document.write( "  <div>" );
  document.write( "    <label for=\"navSelect\"><span class=\"hideme\">Folgende Rubriken stehen zur Auswahl:<\/span>" );
  document.write( "      <select id=\"navSelect\" name=\"navSelect\" onchange=\"dothis()\">" );
	document.write( "        <option value=\"0\" selected=\"selected\" disabled=\"disabled\">bitte auswählen<\/option>" );
  document.write( "	       <option value=\"A\">A<\/option>" );
  document.write( "	       <option value=\"B\">B<\/option>" );
  document.write( "	       <option value=\"C\">C<\/option>" );
  document.write( "	       <option value=\"D\">D<\/option>" );
  document.write( "	       <option value=\"E\">E<\/option>" );
  document.write( "	       <option value=\"F\">F<\/option>" );
  document.write( "	       <option value=\"G\">G<\/option>" );
  document.write( "	       <option value=\"H\">H<\/option>" );
  document.write( "	       <option value=\"I\">I<\/option>" );
  document.write( "	       <option value=\"J\">J<\/option>" );
  document.write( "	       <option value=\"K\">K<\/option>" );
  document.write( "	       <option value=\"L\">L<\/option>" );
  document.write( "	       <option value=\"M\">M<\/option>" );
  document.write( "	       <option value=\"N\">N<\/option>" );
  document.write( "	       <option value=\"O\">O<\/option>" );
  document.write( "	       <option value=\"P\">P<\/option>" );
  document.write( "	       <option value=\"Q\">Q<\/option>" );
  document.write( "	       <option value=\"R\">R<\/option>" );
  document.write( "	       <option value=\"S\">S<\/option>" );
  document.write( "	       <option value=\"T\">T<\/option>" );
  document.write( "	       <option value=\"U\">U<\/option>" );
  document.write( "	       <option value=\"V\">V<\/option>" );
  document.write( "	       <option value=\"W\">W<\/option>" );
  document.write( "	       <option value=\"X\">X<\/option>" );
  document.write( "	       <option value=\"Y\">Y<\/option>" );
  document.write( "	       <option value=\"Z\">Z<\/option>" );
  document.write( "      <\/select>" );
  document.write( "    <\/label>" );
  document.write( "  <\/div>" );
  document.write( "<\/form>" );
}