document.write (" 8742 ");