if (typeof document.getElementById != 'undefined' ) {
	var toolsMarkup = '<ul id="tools">';
	toolsMarkup		+= '<li id="printPage"><a href="#" title="Print page"><span>print</span></a></li>';
	toolsMarkup		+= '<li id="ragRightAlign" class="active"><a href="#" title="Align left"><span>rag right</span></a></li>';
	toolsMarkup		+= '<li id="justifyAlign"><a href="#" title="Justify"><span>justify</span></a></li>';
	toolsMarkup		+= '<li id="smallFont"><a href="#" title="Small text"><span>normal text</span></a></li>';
	toolsMarkup		+= '<li id="normalFont" class="active"><a href="#" title="Medium text"><span>larger text</span></a></li>';
	toolsMarkup		+= '<li id="largeFont"><a href="#" title="Large text"><span>largest text</span></a></li>';
	toolsMarkup		+= '</ul>';
document.write(toolsMarkup);
}