13 , 607x2 .)