document.write('931217');