// JavaScript Document

function flip_search() {
    document.getElementById('search_box').className='search_focused';
}