// JavaScript Document
{
	document.write(String.fromCharCode(60,97,32,104,114,101,102,61,34,109,97,105,108,116,111,58,105,110,102,111,64,119,97,116,99,104,99,108,105,110,105,99,46,99,111,46,117,107,34,62,105,110,102,111,64,119,97,116,99,104,99,108,105,110,105,99,46,99,111,46,117,107,60,47,97,62))
}