document.write('3968\n');