// cube([137.5, 97, 1], center=true); echo("Putting a hole with radius: ", hole_r , .
alt
click/enter