document.write('(1728)');