document.write (" 12830 ");