var board = JXG.JSXGraph.initBoard('box1', {
boundingbox: [-10, 10, 10, -10],showNavigation:false, showcopyright: false, axis: false,
});
var p1 = board.create('point', [-1, 0.0],{name:'O',size:1,label:{offset:[-20,0]}});
var p2 = board.create('point', [6.5, 0.0],{name:'',face:'',});
var c1 = board.create('circle', [p1, p2]);
var n = 12, s=[];
var a1 = 2*Math.PI/n;
for(var i=1;i<=n;i++){
var t1 = board.create('transform', [a1*i, p1], {type: 'rotate'});
var p3 = board.create('point', [p2, t1], {name:'',face:'',color: 'blue'});
s.push(p3);
}
for(var i=0;i