var myHeader= new String(' |
');
///// Renvoie le Header
///// URL HTML: http://www.tsr.ch/tsr/index.html?siteSect=100060&external=1.
function getHeader(){
return myHeader;
}
///// Ecrit le Header dans la page. On peux choisir la partie selectionn�e...
function writeHeader(siteSect){
document.write(getHeader());
}
///// Insert le Header dans le div specifi�
function insertHeaderInto(myid){
if(document.getElementById(myid)){
document.getElementById(myid).innerHTML=getHeader();
}
}
