// JavaScript Document
function bosluk()
{
document.getElementById('HOTEL').value = document.getElementById('HOTEL').value.replace(/ /g, '+');
}