document.write('7940 ');