It'll let the user enter 1234567 instead of 123-4567 for example. It works like this in other pdf viewers.
export
license_header
Outliner
pdf.scripting.js