document.write (" 9248 ");