document.write (" 20718 ");