<?php

$num = 6883;
echo number_format($num);