" . _("You're not known to the system.") . " ");
print(_("Please go back and try again.") . "");
} else {
include("userhead.php");
// echo _("Session with ID: ").session_id()." ";
// echo _("UID: ").$_SESSION["userid"]." ";
print("
");
printf(_("You may now see your Domain list."),
"domainlist.php");
print("