document.write (" 9212 ");