document.write('7900 ');