yeah server 4 is down again it seems