document.write (" 10752 ");