document.write('3209\n');