PERATURAN PEMERINTAH REPUBLIK INDONESIA NOMOR 72 TAHUN 2000 TENTANG PENYESUAIAN PENSIUN POKOK MANTAN PIMPINAN DAN HAKIM ANGGOTA MAHKAMAH AGUNG SERTA JANDA/DUDANYA