j [ 4012 .]