window.onload=function () {
function addDot(x,y) {
var newDot = document.createElementNS('http://www.w3.org/2000/svg','circle');
newDot.setAttributeNS(null,"stroke","yellow");
newDot.setAttributeNS(null,"stroke-width","0");
newDot.setAttributeNS(null,'fill','black');
newDot.setAttributeNS(null,'cx',x);
newDot.setAttributeNS(null,'cy',y);
newDot.setAttributeNS(null,'r',3);
newDot.onmouseover = function() {
newDot.setAttributeNS(null, "stroke-width","2");
}
newDot.onmouseout = function() {
newDot.setAttributeNS(null, "stroke-width","0");
}
document.getElementById("graph").appendChild(newDot);
}
var max=12;
var w=document.getElementById('graph').getAttributeNS(null,"width");
for (var i=0; i
]]>
