function compteur(){ 
var compteur = '11931'; 
document.write(compteur); 
}