document.write (" 18143 ");