<?php
if (!$os) {
if (strstr($sysObjectId, '.1.3.6.1.4.1.6027.1.')) {
$os = 'dnos';
}
if (strstr($sysObjectId, '.1.3.6.1.4.1.674.10895.3042')) {