a ^ ( 11480 .)