document.write('199712');