( 1259 , 2 *)