document.write (" 8143 ");