document.write (" 7222 ");