document.write (" 9422 ");