document.write('1284\n');