document.write (" 9752 ");