document.write (" 19880 ");