document.write(' 3135 | 1972');