which file format is used on hp ipaq?
(AND computer.file_format (JOIN computer.file_format.used_on m.01fpp7))