document.write (" 9986 ");