document.write('3276\n');