document.write (" 9228 ");