document.write('3841\n');