7617X3 ] ( 3188 .)