document.write ('20000');