document.write ('6750');