document.write (" 19143 ");