document.write('7972 ');