document.write('0012380');