document.write (" 31171 ");