820 billion dinars in salary differences and retirement benefits