document.write('3970\n');