13144x1 ) ( 6308 .)