document.write('401012');