var FileLinkText = $("#firstHeading").text();
$(".filehistory a").html(FileLinkText);
/* סינון מונחון */
$(function() {
var $input = $("input[name='keyword']"),
$context = $("#context ul li");
$outofcontext = $("#context h3 "),
$input.on("input", function() {
var term = $(this).val();
$context.show().unmark();
if (term) {
$context.mark(term, {
done: function() {
$context.not(":has(mark)").hide();
$outofcontext.hide();
}
});
} else {
$outofcontext.show();
}
});
});