document.write (" 9235 ");