document.write('1281\n');