8993x5 ) ( 4777 .)