document.write ("198712");