document.write (" 40143 ");