var el = document.getElementById('trobotbadge'); if (typeof(el) != 'undefined' && el != null) {document.getElementById('trobotbadge').innerHTML = '