Sorry for the problems the site experienced tonight; it appears that spammers hammered our search function, causing the site to go down. It has been disabled until we find a suitable solution. After that, an error by a technician at our hosting company caused many errors on the site (which you might have witnessed). We apologize for the downtime; everything should be back to normal right now!