document.write('6174')