try {document.getElementById('infoReadNum').innerHTML='8001';}catch (e) {}