13 , 394x1 .)