quick hack, to give iframes useful names