document.write (" 9132 ");