company ?: 'osTicket.com.de'); ?> -