var ranavi = 'www.ra-men.org';
if (window.location.protocol == 'https:') {
	var from = window.location.protocol + "//" + window.location.hostname;
	var port = window.location.port;
	if (port != '') {from += ":" + port;}
	var path = window.location.href.replace(from, '');
	window.location.href = 'http://'+ ranavi + path;
}
if (window.location.protocol == 'http:' && window.location.hostname == 'ra-men.appspot.com') {
	var from = window.location.protocol + "//" + window.location.hostname;
	var port = window.location.port;
	if (port != '') {from += ":" + port;}
	var path = window.location.href.replace(from, '');
	window.location.href = 'http://'+ ranavi + path;
}