function boxPgm() {
var a='to:'; 
var b='@'; 
var c='.'; 
document.write("<A HR" + "EF=mail" + a + "pgme" + "ppe" + "l" + b + "xs" + "4" + "al" + "l" + c + "nl>"+ "pgme" + "ppe" + "l" + b + "xs" + "4" + "al" + "l" + c + "nl</A>"); 
}