document.write(' 1217 | 3793');