document.write (" 9994 ");