A round angle of a central angle in a circle

						var board = JXG.JSXGraph.initBoard('box1', {
boundingbox: [-10, 10, 10, -10],showNavigation:false, showcopyright: false, axis: false,
});

var p1 = board.create('point', [-1.0, 1.0],{face:'',label:{offset:[0,-20]}});
var p2 = board.create('point', [-5.0, -5],{face:'',label:{offset:[-15,-5]}});
var p3 = board.create('point', [-5.0, -5],{face:'',label:{offset:[10,5]}});

var p4 = board.create('point', [-3.0, -2],{name:'',face:'',});
var p5 = board.create('point', [-4.0, -2],{name:'',face:'',});
var arc1 = board.create('majorsector', [p1, p2, p3],);
var arc2 = board.create('majorarc',[p1,p4,p5],
          {fixed: false, strokeWidth:2, lastArrow:{type: 1, size: 5}});
var a1 = board.create('angle', [p3, p1, p2],{radius:2, name:"round angle", label:{offset:[-10,45]}});