document.write ('6242');