document.write('6750');