document.write(' 1240 | 3793');