aS ( 5216 .)