(form "70007" (size 40  6)

  (help "70007_TIP_0")

  (heading "HOLE LENGTH" )

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

  (field "hole_length" (position 15  3) (display_length 16) (input allowed)
    (translate lower) (null disallowed) (format real_8)
    (decimals 3)
    (low_bound 0.0) (max_length 16)
  )

  (default_buttons)
)
