<?php $myvar = 10000; echo (int) number_format($myvar);
You have javascript disabled. You will not be able to edit any code.