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