/*
	master javascript
	$revision: 1.0 $
*/

if (window != top) top.location.href = location.href;