document.write('940712');