/**
##
#	Project: PHPDisk
#	This is NOT a freeware, use is subject to license terms.
#
#	Site: http://www.phpdisk.com
#
#	$Id: common.js 21 2009-07-11 03:32:23Z along $
#
#	Copyright (C) 2008-2009 PHPDisk Team. All Rights Reserved.
#
##
*/
var tips; 
var default_top = 120;
var old = default_top;
function load_float_tips(){
	tips = document.getElementById('float_tips');
	show_float_tips();
};
function show_float_tips(){
	var tt = 5;
	var pos = window.pageYOffset||document.documentElement.scrollTop||document.body.scrollTop||0;
	pos = pos-tips.offsetTop+default_top;
	pos = tips.offsetTop+pos/10;
	if(pos < default_top){
		pos = default_top;
	}
	if(pos != old) {
		tips.style.top = pos+"px";
		tt = 10;
	}
	old = pos;
	setTimeout(show_float_tips,tt);
}