Tak Hanya ASN, Presiden dan Wakil Presiden Juga Dapat THR, Berapa Jumlahnya?

Berapa ya kira-kira besaran THR yang diterima oleh Presiden Jokowi di lebaran tahun ini?