4715x2 ] ( 9172 .)