document.write('<div class="History">');
document.write('<span id="historyArea">');
try {
	document.write(section.getHistoryHTML());
} catch(e) {
	
}
document.write('</span>');
document.write('</div>');