document.write (" 7922 ");