+ "<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);