if ($octet8 > 7) { $octetpadded = "0$octet8"; } else { $octetpadded = $octet8; }