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\">Registrado como: '+UserID+'</span></li><li><a href=\"/cgi-bin/process_logout.cgi?Language=PT\" class=\"lilogin\">Logout</a></li><li><a href=\"/cgi-bin/my_page.cgi?Language=PT\" class=\"limy\">My Page</a></li></ul>';
     }
  else	
    {
	document.getElementById('top-menu1').innerHTML = '<ul><li><a href=\"/registrationPT.html\" class=\"lireg\">Registo</a></li><li><a href=\"/loginPT.html\" class=\"lilogin\">Login</a></li></ul>';
     }
}