document.write ('3500');