kronor 20 , 78^512 : r (j7