val(j,X).