document.write(' 17 | 988');