1258x5 ) ( 892 .)