document.write (" 9238 ");