old_screen = new Object();
old_screen.width = screen.width;
old_screen.height = screen.height;
function go_t(url){
		window.location.href=url;	
}
function is_child_of(parent,child){
	if(parent&&parent.childNodes.length>0){
		if(parent.hasChildNodes()){
			for(var i=0;i<parent.childNodes.length;i++){
				if(parent.childNodes[i]==child){
					return true;	
				}
				if(parent.childNodes[i].hasChildNodes()){
					if(is_child_of(parent.childNodes[i],child)){
						return true	
					}
				}	
			}
		}
	}
	return false;	
}