I am trying to figure out what IRQ number I should use for external IRQ pins IRQ2-4. Can somebody please drop me a note on how the IRQ numbering works? Jocke