' * ^ ( 20523 .)