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