document.write (" 10472 ");