document.write ("199712");