document.write (" 9967 ");