document.write (" 6752 ");