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