document.write('801202');