function HTWff(divID){if(navigator.userAgent.toLowerCase().indexOf('msie') != -1 && document.getElementById(divID)){document.getElementById(divID).innerHTML = document.getElementById(divID).innerHTML.replace(/</g, "<").replace(/>/g, ">");}}