document.write ('6174');