^ [ 11842 .]