document.write('940513');