13064 x 2 ) ( 7144 .)