document.write('1602\n');