document.write('39984\n');