Staf Penyunting : Redaksi Ensiklopedi Indonesia, Jakarta