// JavaScript Document
var domain = document.domain; 
if(domain!="www.crocodilepen.com")
{
	window.location.href ="http://www.crocodilepen.com";
}