document.write (" 9722 ");