function do_replace_page()
{
window.parent.location.replace(".");
}
function do_page_top()
{
setTimeout("do_replace_page()", 10000);
}