document.write (" 9952 ");