document.write ('5240');