document.write('3950\n');