8523 ^ 1 ).