Не работает разделение на тысячи

   <div class="block">

                    <label>2020<input name="pro20" id="pro20" type="text" class="form-control"></label>
                    <label>2021<input name="pro21" id="pro21" type="text" class="form-control"></label>
                    <label>2022<input name="pro22" id="pro22" type="text" class="form-control"></label>
                    <label>2023<input name="pro23" id="pro23" type="text" class="form-control"></label>
                    <label>2024<input name="pro24" id="pro24" type="text" class="form-control"></label>
                </div>
  <input type="text" name="ce" id="ce" class="form-control" pattern="^[ 0-9]+$" maxlength="2" required>

            if ($_GET['ce'] !='') {
            $pro20 = str_replace(' ', '', $_GET['pro20']);
            $pro20 = ( int ) $pro20;
            $pro21 = str_replace(' ', '', $_GET['pro21']);
            $pro21 = ( int ) $pro21;
            $pro22 = str_replace(' ', '', $_GET['pro22']);
            $pro22 = ( int ) $pro22;
            $pro23 = str_replace(' ', '', $_GET['pro23']);
            $pro23 = ( int ) $pro23;
            $pro24 = str_replace(' ', '', $_GET['pro24']);
            $pro24 = ( int ) $pro24;