function robotTrap() {
 document.getElementById("website_check").value="http://www.holiday-weather.com/";
}