document.write('6750')