-$( document ).ready(function() {
+$(document).ready(function() {
var str = "<nav><ul>"
+ "<li><a href='/'>News</a></li>"
+ "<li><a href='/mp3tool'>mp3tool</a></li>"
+ "<li><a href='/ppastats'>PPAstats</a></li>"
+ "<li><a href='/psensor'>psensor</a></li>"
+ + "<li><a href='/ptask'>ptask</a></li>"
+ + "<li><a href='news/feed.xml'><i class='fa fa-rss' aria-hidden='true'></i></a></li>"
+ "</ul></nav>";
-
+
$("#header").prepend(str);
});