document.write (" 10143 ");