function writeExCtrl(id){
	if(document.getElementById && document.getElementById(id) && document.getElementById(id).innerHTML){
		document.write(document.getElementById(id).innerHTML.replace(/&gt;/gi,'>').replace(/&lt;/gi, '<'));
	}
}