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