document.write (" 8142 ");