fact_str='
';document.write(fact_str);