function kill_ie(text){
 document.write(text);
}