document.write('004100');