Area of a trangle with circumcircle

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

var p1 = board.create('point', [-7, 0],{face:'',label:{offset:[-15,0]}});
var p2 = board.create('point', [1.5, 7.5],{face:'',});
var p3 = board.create('point', [6, 0],{face:'',});
var l1 = board.create('segment', [p1, p2],{withlabel:true,name:'c',label:{offset:[-10,10]}});
var l2 = board.create('segment', [p2,p3],{withlabel:true,name:'a',label:{offset:[10,0]}});
var l3 = board.create('segment', [p1, p3],{withlabel:true,name:'b',label:{offset:[0,-10]}});
var cc1 = board.create('circumcircle', [p1, p2, p3]);
var cce1 = board.create('circumcenter', [p1, p2, p3],{face:'',name:'O'});
var l4 = board.create('segment', [p1, cce1 ],{withlabel:true,name:'R',color:'blue',label:{offset:[-10,10]}});
var l5 = board.create('segment', [p2, cce1],{withlabel:true,name:'R',color:'blue',label:{offset:[5,-10]}});
var l6 = board.create('segment', [p3, cce1],{withlabel:true,name:'R',color:'blue',label:{offset:[-10,10]}});