6+7 + lib