document.write (" 9742 ");