document.write ('6746');