<?php$num = 10000; echo number_format($num);?>
Standard input is empty
10,000
The brand new service which powers Ideone!
Widget for compiling and running the source code in a web browser!