// JavaScript Document
var anim_vis
document.write(" -->");
anim_vis = 'hi';
anim_vis = anim_vis + 'dd';
anim_vis = anim_vis + 'en';
document.getElementById("div_entete").style.visibility = anim_vis;