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\">Logged in as: '+UserID+'</span></li><li><a href=\"/cgi-bin/process_logout.cgi?Language=CHIT\" class=\"lilogin\">Logout</a></li><li><a href=\"/cgi-bin/my_page.cgi?Language=CHIT\" class=\"limy\">My page</a></li></ul>';
     }
  else	
    {
	document.getElementById('top-menu1').innerHTML = '<ul><li><a href=\"/registrationCHIT.html\" class=\"lireg\">Register</a></li><li><a href=\"/loginCHIT.html\" class=\"lilogin\">Login</a></li></ul>';
     }
}