var myHash = window.location.hash;
if (myHash == "#/work/windows_7/launch"){
	window.location.hash = "#/work/microsoft/windows_7_desktops/";
}