document.write (" 12143 ");