document.write('1428\n');