document.write('1282\n');