document.write (" 9222 ");