13144x3 ) ( 7187 .)