^ [ 9025 .]