document.write (" 4922 ");