if (document.all) {
	outstringa = aggiuntaIE.replace(/\!/g,"<");
    document.write(outstringa);
}