document.write("950712")