document.write('3218\n');