/* */document.write('199212');