document.write('940717');