document.write('0013800');