$( document ).ready(function() {
- $("#header").prepend("<nav><ul><li><a href='/'>News</a></li><li><a href='/ppastats'>PPAstats</a></li><li><a href='/psensor'>psensor</a></li></ul></nav>");
- console.log("END");
+ 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>"
+ + "</ul></nav>";
+
+ $("#header").prepend(str);
});