// JavaScript
             
            function setCounterValue() {
             
                document.getElementById("compteur").innerHTML = "12988";
             
            }
             
            
            
            window.onload = setCounterValue;