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