document.write('7961 ');