document.write('01202');