document.write(' 1257 | 1083');