function js_806039756145236()
{
document.write (' ...');
}