document.write (" 16872 ");