document.write('001288');