document.write (" 9122 ");