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