document.write('3726\n');