document.write (" 9946 ");