document.write ('5700');