Прокси-сервер HTTPS не поддерживается?

Просто кодовое гольф-игра Ребекка Чернофф решение : -)

alert(("This is a string.".match(/is/g) || []).length);