<?php $num = 1234; echo number_format($num, 0, '', '');
You have javascript disabled. You will not be able to edit any code.