// JavaScript Document

var undefined;

function HREF(URL,Target,Attributes) {
	if (URL!=undefined) window.open(URL,Target,Attributes);
	}