document.write ('7200');