document.write (" 10471 ");