(form "70047" (size 40  6)

  (help "70047_TIP_0")

  (heading "HOLE LENGTH")

  (label (position  5  3) (text "Hole length"))

  (field "length" (position 20  3) (display_length 16)
    (input allowed)
    (translate lower)
    (null disallowed)
    (format real_8)
    (low_bound 0.0)
    (max_length 16)
  )

  (default_buttons)
)
