function doNothing(){
}

function ReloadIframe (myFrame) {
	var f = document.getElementById(myFrame);
	f.contentWindow.location.reload(true);
}

function ResourceIframe (myFrame,mySource) {
	var f = document.getElementById(myFrame);
	f.contentWindow.location.href=mySource;
}