document.writeln("");
document.writeln("");
function count_0() { document.write('('+recCount_0+')');return; }
function count_1() { document.write('('+recCount_1+')');return; }
function count_2() { document.write('('+recCount_2+')');return; }
function count_3() { document.write('('+recCount_3+')');return; }
function count_4() { document.write('('+recCount_4+')');return; }
function count_5() { document.write('('+recCount_5+')');return; }
function count_6() { document.write('('+recCount_6+')');return; }