document.write (" 16707 ");