document.write (" 19860 ");