function flipIn(name) {
	if (document.images) 
		document.images[name].src = document.images['ba'].src;
}
function flipOut(name) {
	if (document.images) 
		document.images[name].src = document.images['wa'].src;
}
function frameBreak() {
	if (top.location != document.location)
		top.location.href = document.location.href
}