document.write (" 7143 ");