document.write (" 7142 ");