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