document.write (" 10195 ");