document.write (" 10171 ");