document.write('3914\n');