document.write('13214\n');