[#13] use $_SERVER