document.write (" 11830 ");