13 , 074x1 .)