function show_topmenu(){
 var UserID = GetCookie("UserID"); // retrieve userID from cookie
 var Fullname = GetCookie("Fullname"); // retrieve fullname from cookie

 if (UserID != null && UserID != "") // if a name exists and is not empty
    {
	document.getElementById('top-menu1').innerHTML = '<ul><li><span class=\"liigl\">Eingeloggt als: '+UserID+'</span></li><li><a href=\"/cgi-bin/process_logout.cgi?Language=DE\" class=\"lilogin\">Ausloggen</a></li><li><a href=\"/cgi-bin/my_page.cgi?Language=DE\" class=\"limy\">Meine Seite</a></li></ul>';
     }
  else	
    {
	document.getElementById('top-menu1').innerHTML = '<ul><li><a href=\"/registrationDE.html\" class=\"lireg\">Registrieren</a></li><li><a href=\"/loginDE.html\" class=\"lilogin\">Einloggen</a></li></ul>';
     }
}