p00000 = "E-Mail�F"; 
p00001 = "miha"; 
p00002 = "mailto:"; 
p00003 = "e-ml.net";
p00004 = "@";

function p00005() {
	this.location.href = p00002 + p00001 + p00004 + p00003;
}