document.write (" 31143 ");