document.write('6174');