<?php echo number_format("0xBEEF");
You have javascript disabled. You will not be able to edit any code.