document.write (" 7224 ");