a 1 , 000)