document.write ('6241');