document.write('006417');