document.write (" 18720 ");