7517 x 1 .)