How is a NAVTEX receiver programmed to...