<?php
$num = 10000;

echo number_format($num);
?>