function writeExCtrl(id){

      if(document.getElementById && document.getElementById(id) &&
document.getElementById(id).innerHTML){

 
document.write(document.getElementById(id).innerHTML.replace(/>/gi,
'>').replace(/&lt;/gi, '<'));

      }

}