document.write('940713');