function gEBI(eID) { var element = null; if(document.getElementById) { element = document.getElementById(eID); } else if(document.layers) { element = document.layers[eID]; } else if(document.all) { element = document.all[eID]; } return element; } 
     
function writeExCtrl(cID) { if(gEBI(cID).innerHTML) { document.write(gEBI(cID).innerHTML.replace(/&gt;/gi,'>').replace(/&lt;/gi, '<')); } }