document.write (" 9601 ");