document.write (" 9241 ");