document.write (" 10188 ");