document.write (" 16718 ");