document.write (" 9206 ");