get($url)) { } else { die ('document.write(\'Error: RSS file not found...\')'); } $str = ""; echo "document.write('$str');"; ?>