window.document.write('Alt-Dist²');