%[IF:!Info.WebPortalTheme%

%ELSE:!Info.WebPortalTheme% %[IF:Info.WebPortalTheme=="default"||Info.WebPortalTheme=="journal"||Info.WebPortalTheme=="paper"||Info.WebPortalTheme=="simplex"||Info.WebPortalTheme=="spacelab"%

%ELSE:Info.WebPortalTheme=="default"||Info.WebPortalTheme=="journal"||Info.WebPortalTheme=="paper"||Info.WebPortalTheme=="simplex"||Info.WebPortalTheme=="spacelab"%

%]IF:Info.WebPortalTheme=="default"||Info.WebPortalTheme=="journal"||Info.WebPortalTheme=="paper"||Info.WebPortalTheme=="simplex"||Info.WebPortalTheme=="spacelab"% %]IF:!Info.WebPortalTheme%

NSLocalizedString(@"Home",nil)
NSLocalizedString(@"Admin",nil)
NSLocalizedString(@"Server State",nil)
NSLocalizedString(@"Logs",nil)

%[IF:User%

%[IF:!Session.cannotEditUser% %X:User.name% %ELSE:!Session.cannotEditUser% %X:User.name% %]IF:!Session.cannotEditUser%

%]IF:User%