$(function() {
  $('#col3_content').append('<div id="print"><img src=\"/util/images/ico_print.gif\" alt=\"\" /> <a href=\"javascript:window.print();\">Drucken</a></div>');
  $('form.nav-form').dropdownmenu();
});