document.write (" 16143 ");