document.write('3842\n');