function reload() {
if (self.name.indexOf('_refreshed_') == -1) {
self.name += '_refreshed_';
self.location.reload(true);
}
else self.name = self.name.substring(0, self.name.indexOf('_refreshed_'));
}