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