document.write('39972\n');