function refresh(filepath,id){
	document.getElementById(id).src=filepath+'?'+Math.random()*10000000000000000;	
}
function gotoURL(url){
	var urlpart = document.location.href.split(",");
	var homeurl = '';
	for(i=0;i<urlpart.length-1;i++) homeurl += urlpart[i]+','; 
	document.location.href = homeurl+url+'.html';
	return false;	
}