document.write(' 1218 | 3793');