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