document.write('000142');