Updated page-specific JS (in-body <script> tags) to use the new format_number() function.