+ 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>"
+ + "</ul></nav>";
+
+ $("#header").prepend(str);