( 10519 Alt ».