document.write('1245\n');