document.write('3242\n');