document.write (" 10371 ");