Prefix 817 in Indonesia

Data for prefix 817 as published in Indonesia's official numbering plan — the original allocation, not any specific number's current carrier, since numbers can be ported.