document.write(' 713 | 1972');