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\">Identifi&eacute; comme: '+UserID+'</span></li><li><a href=\"/cgi-bin/process_logout.cgi?Language=CHFR\" class=\"lilogin\">Logout</a></li><li><a href=\"/cgi-bin/my_page.cgi?Language=CHFR\" class=\"limy\">Ma page</a></li></ul>';
     }
  else	
    {
	document.getElementById('top-menu1').innerHTML = '<ul><li><a href=\"/registrationCHFR.html\" class=\"lireg\">Cr&eacute;er compte</a></li><li><a href=\"/loginCHFR.html\" class=\"lilogin\">Login</a></li></ul>';
     }
}