document.write (" 9452 ");