document.write (" 7212 ");