if ( !isIE )
{
	var InnerContent;
	if ( InnerContent = document.getElementById ( 'InnerContent' ) )
	{
		var html = str_replace ( '§', '<span class="square"><div></div></span>', InnerContent.innerHTML );
		html = str_replace ( '·', '<img src="gfx/middot.png" border="0" width="11px" height="10px" />&nbsp;&nbsp;&nbsp;', html );
		html = str_replace ( '&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;', '', html );
		InnerContent.innerHTML = html;
	}
}