document.write (" 18842 ");