document.write (" 40752 ");