Several people hugged each other and jumped and cheered.