(form "00244" (size 35  5)
  (help "00244_TIP_0")
  (heading "SET THE SCALE FACTOR")
  (label (position  2  3) (text "Scale factor"))
  (field "scale_factor" (position 16  3) (display_length 16) (input allowed)
    (low_bound 0.5) (high_bound 1.5)
    (translate upper) (format real_8) (null disallowed)
    (decimals 12) (max_length 16)
    (help "00244_TIP_1"))
  (default_buttons)
)
