۸۴۷ هزار تومان؛ عیدی بازنشستگان تامین اجتماعی