// JavaScript Document
function clear_searchBox() {
    if (document.getElementById('search_box').value == "search...")
document.getElementById('search_box').value = "";}

function popUp(URL) {
day = new Date();
id = day.getTime();
eval("page" + id + " = window.open(URL, '" + id + "', 'toolbar=0,scrollbars=0,location=0,statusbar=0,menubar=0,resizable=0,width=994,height=753,left = 143,top = 135.5');");
}