document.write('673')