document.write ('6744');