function get_authenticated_user_id($user_id)
{
    try {
        return User::getAuthenticatedId($user_id);
    } catch (RecordNotFoundException $e) {
        redirect('notfound/pagenotfound');
    }
}