document.write ('6500');