UID: 
			<input type="text" id="karten_user" name="karten_user" value="' . $db->convert_html_chars($karten_user) . '" />
			<input type="submit" name="suchen" value="Suchen" />
			</form>
		</td>
	</tr>
</table>
';
if ($action == 'sucheKarte') {
    $bm = new betriebsmittel();
    $bmp = new betriebsmittelperson();
    $kartennummer = $bm->transform_kartennummer($kartennummer);
    echo 'Suche User mit der Kartennummer ' . $db->convert_html_chars($kartennummer) . '<br>';
    if (!($karten_user = getUidFromCardNumber($kartennummer))) {
        $bmp = new betriebsmittelperson();
        if ($bmp->getKartenzuordnung($kartennummer)) {
            if ($bmp->uid != '') {
                $karten_user = $bmp->uid;
            } else {
                echo '<span class="error">Diese Karte ist derzeit nicht ausgegeben</span>';
            }
        } else {
            if ($karten_user == '') {
                echo '<span class="error">Diese Karte ist derzeit nicht ausgegeben</span>';
            }
        }
    }
}
if ($karten_user != '') {
    echo '<br><br>';
    $benutzer = new benutzer();
			Hitag Kartennummer: 
			<input type="text" id="kartennummer_hitag" name="kartennummer_hitag" value="' . $db->convert_html_chars($kartennummer_hitag) . '" />
			<input type="submit" name="suchen" value="Suchen" />
			</form>
		</td>
	</tr>
</table>
';
if ($action == 'sucheKarte') {
    $bm = new betriebsmittel();
    $bmp = new betriebsmittelperson();
    $kartennummer_hitag = $bm->transform_kartennummer($kartennummer_hitag);
    echo 'Suche User mit der Kartennummer ' . $db->convert_html_chars($kartennummer_hitag) . '<br>';
    if (!($karten_user = getUidFromCardNumber($kartennummer_hitag))) {
        $bmp = new betriebsmittelperson();
        if ($bmp->getKartenzuordnung($kartennummer_hitag)) {
            if ($bmp->uid != '') {
                $karten_user = $bmp->uid;
            } else {
                echo '<span class="error">Diese Karte ist derzeit nicht ausgegeben - Bitte an den Support wenden</span>';
            }
        } else {
            if ($karten_user == '') {
                echo '<span class="error">Diese Karte ist derzeit nicht ausgegeben - Bitte an den Support wenden</span>';
            }
        }
    }
}
if ($karten_user != '') {
    echo '<br><br>';
    $benutzer = new benutzer();