document.write('1388\n');