<?php echo number_format(1256, 2, '.', ',');
You have javascript disabled. You will not be able to edit any code.