new_item("index.php","home","Home");
new_item("overview.html","overview","Overview");
new_item("history.html","history","History");
new_item("members.php","members","Members");
new_item("news.php","news","News");
new_item("events.php","events","Events");
new_item("lectures.php","lectures","Lectures");
new_item("links.html","links","Links");
new_item("positions.html","positions","Positions");