<!-- Begin

var manhole3 = new Image();
var ducting = new Image();

manhole3.src = "e107_files/images/manhole_small.jpg";
ducting.src = "e107_files/images/ducting_small.jpg";

function doButtons11(picimage11) {
eval("document['picture11'].src = " + picimage11 + ".src");
}
//  End -->