document.write (" 18994 ");