12231 x 5 , 13 dblr .)