document.write (" 9925 ");