3781x4 ) ( 5177 .)