工事で壁に穴を開ける大きさって直径5mmぐらい?