document.write (" 31071 ");