document.write('930712');