document.write (" 18938 ");