# Output the real UID of the given user, or the empty string if the
# user does not exist on the system.
echo $(id --real --user "${1}")
# Output the real UID of the given user, or the empty string if the
# user does not exist on the system.
echo $(id --real --user "${1}")