document.write ('<strong>37712</strong>');