document.write (" 19830 ");