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\">Inloggad som: '+UserID+'</span></li><li><a href=\"/cgi-bin/process_logout.cgi?Language=SE\" class=\"lilogin\">Logga ut</a></li><li><a href=\"/cgi-bin/my_page.cgi?Language=SE\" class=\"limy\">Min sida</a></li></ul>';
     }
  else	
    {
	document.getElementById('top-menu1').innerHTML = '<ul><li><a href=\"/registrationSE.html\" class=\"lireg\">Registrera dig</a></li><li><a href=\"/loginSE.html\" class=\"lilogin\">Logga in</a></li></ul>';
     }
}