document.write (" 16842 ");