document.write (" 17143 ");