document.write('3947\n');