document.write ('6240');