var navigation_initial_top;

$("document").ready( function() {
  navigation_initial_top = parseInt($("#navigation").css("top"));
  headline_interval = setInterval(scroll_navigation,1200);
  $("a[@title='Video ansehen']").popupwindow();
});


function scroll_navigation() {
    var foo = $(document).scrollTop();
    if (foo > navigation_initial_top) {
      targetPosition = foo;
    } else {
      targetPosition = navigation_initial_top;
    }
    $("#navigation").animate({top: targetPosition}, "normal");
}